STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Targeting safety-related errors during software requirements analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Core Method for Real-Time Requirements
IEEE Software
Specification and analysis of the requirements for embedded software with an external interaction model
Specification-based prototyping for embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A Component-Based Approach to Reliability Analysis of Distributed Systems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
| Hi-index | 4.10 |
Embedded critical systems pose particularly difficult problems in writing and validating software requirements. Often, the interfaces between the software and the embedding environment are a major source of costly errors. At an abstract level, we can view an embedded control system as a collection of physically distinct components communicating over unidirectional communication channels. This view is adopted in the Requirements State Machine Language (RSML), which was used successfully to model TCAS II, a large commercial avionics system that the US Federal Aviation Administration requires on all aircraft with more than 30 seats. This work extends and refines RSML to support rigorous specification and analysis of system-level intercomponent communication. It does this using a formalism that defines interfaces as well as input and output variables. The authors have also developed a set of prototype tools supporting the analysis of system level intercomponent communication.