IEEE/NASA Isola 2005 IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems
OIIICI 01 Sill 1) l\l)\llsslo\ \%s( l{\\cl NASA-GB-O01-97 1{1 I I \\l 1 (1 Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume 11: A Practitioner’s Companion May 1997 L*L● National Aeronautics and Space Administration @ Washington, DC 20546 NASA-GB-001-97 Release 1.0 FORMAL METHODS SPECIFICATION AND ANALYSIS GUIDEBOOK FOR THE VERIFICATION OF SOFTWARE AND COMPUTER SYSTEMS VOLUME II: A PRACTITIONER’S COMPANION FOREWORD This volume presents technical issues involved in applying mathematical techniques known as Formal Methods to specify and analytically verify aerospace and avionics software systems. The first volume, NASA-GB-002-95 [NASA-95a], dealt with planning and technology insertion. This second volume discusses practical techniques and strategies for verifying requirements and high-level designs for software intensive systems. The discussion is illustrated with a realistic example based on NASA’s Simplified Aid for EVA (Extravehicular Activity) Rescue [SAFER94a, SAFER94b]. The vohu-ne is intended as a “companion” and guide for the novice formal methods and analytical verification practitioner. Together, the two volumes address the recognized need for new technologies and improved techniques to meet the demands inherent in developing increasingly complex and autonomous systems. The support of NASA’s Safety and Mission Quality Office for the investigation of formal methods and analytical verification techniques reflects the growing practicality of these approaches for enhancing the quality of aerospace and avionics applications. Major contributors to the guidebook include Judith Crow, lead author (SRI International); Ben Di Vito, SAFER example author (ViGYAN); Robyn Lutz (NASA - JPL); Larry Roberts (Lockheed Martin Space Mission Systems and Services); Martin Feather (NASA - JPL); and John Kelly (NASA - JPL), task lead. -
Domain Facets Analysis & Description
Domain Facets Analysis & Description Dines Bjørner Fredsvej 11, DK-2840 Holte, Denmark. E-mail: [email protected], URL: www.imm.dtu.dk/˜dibj Rewritten 2016, Compiled: September 24, 2018, 11:06 am Abstract This paper is a continuation of [Bjø16d, Bjø16c]. Where [Bjø16d] covered a method for analysing and describing the intrinsics of manifest domains, the present paper covers principles and techniques for describing domain facets — not covered in [Bjø16d]. Where [Bjø16c] covered some basic principles and techniques for structuring requirements analysis and prescription, the present paper hints at requirements that can be derived from domain facets. By a domain facet we shall understand one amongst a finite set of generic ways of analysing a domain: a view of the domain, such that the different facets cover conceptually different views, and such that these views together cover the domain. We shall outline the following domain facets: intrinsics, support technologies, rules & regulations, scripts, license languages, management & organisation, and human behaviour. The present paper is a substantial reformulation and extension of [Bjø10] on the background of [Bjø16d, Bjø16c]. 1 Introduction In [Bjø16d] we outline a method for analysing &1 describing domains. By a method we shall under- stand a set of principles, techniques and tools for analysing and constructing (synthesizing) an artifact, as here a description ⊙2 By a domain we shall understand a potentially infinite set of endurants and a usually finite set of perdurants (actions, events and behaviours) [the latter map endurants into en- durants] such that these entities are observable in the world and can be described ⊙ In this paper we cover domain analysis & description principles and techniques not covered in [Bjø16d]. -
Alaris Capture Pro Software
~FACS FORMAL METHODS EUROPE The Newsletter of the BCS Formal Aspects of Computing Science Special Interest Group and F01'mal Methods Europe. Series I Vol. 1, No. 3 Winter 1994 Contents Editorial ........................................................... 2 FACS AGM Minutes .............................................. 3 A Brief History of Forlual Methods .......................... 4-17 Functional Progranlluing Cohuun ........................... 18-24 VDM EXa111ples Repository .................................. 25-27 Frequent asked questions about VDM ......................... 28 FOrIual Methods Applications Database .................... 29-30 Report on ZUM '94 .......................................... 31-32 Recent Books Cohuun ........................................... 33 Evellts list ........................................................ 34 Guidelines for Contributions .................................... 35 FACS COl1lluittee ................................................ 36 2 At the AGM Brian Monahan relinquished his Editorial position as the editor and I am personally Welcome to the Winter issue of FACS Europe. very grateful for his contribution particularly We had our AGM in September, the minutes his input to improving the quality of presen appear on the next page. One of the con tation through the use of Ib-TEX, moving it cerns raised was the number of lapsed mem from the packages of handwritten contribu bers of FACS. If you are one of these, treat tions stapled between two blue covers to this yourself to a Christmas -
IFIP Information Bulletin January 2018
January 2018 – No.48 Information Bulletin International Federation for Information Processing ( www.ifip.org ) IFIP SECRETARIAT HOFSTRASSE 3 A-2361 LAXENBURG AUSTRIA, EUROPE General Secretary: Eduard DUNDLER Administrative Assistant s: Brigitte BRAUNEIS Marion SMITH Telephone: +43 2236 73 616 Telefax: +43 2236 73 616 9 e-mail: [email protected] Internet-URL: http://www.ifip.org 2 TABLE OF CONTENTS IFIP'S PAST PRESIDENTS ............................................................................................................................... 4 IFIP'S HONORARY MEMBERS ......................................................................................................................... 4 INTRODUCTION ............................................................................................................................................... 5 IFIP'S MISSION STATEMENT ........................................................................................................................... 5 IFIP IN PERSPECTIVE ...................................................................................................................................... 6 ORIGINS ....................................................................................................................................................... 6 MEMBERSHIP .............................................................................................................................................. 6 ORGANISATION ..........................................................................................................................................