Towards an automated development methodology for dependable systems with application to sensor networks
- 6 July 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including sensor networks and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" unfilled by such tools and methods is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.Keywords
This publication has 12 references indexed in Scilit:
- Autonomous and autonomic systems: a paradigm for future space exploration missionsIEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 2006
- Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Verification and validation of autonomous systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Experience using formal methods for specifying a multi-agent systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- From play-in scenarios to code: an achievable dreamComputer, 2001
- Computer-Aided ReasoningPublished by Springer Nature ,2000
- Industrial-Strength Formal Methods in PracticePublished by Springer Nature ,1999
- Seven more myths of formal methodsIEEE Software, 1995
- Seven myths of formal methodsIEEE Software, 1990
- Communicating sequential processesCommunications of the ACM, 1978