Statecharts: A visual formalism for complex systems
Science of Computer Programming
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Safeware: system safety and computers
Safeware: system safety and computers
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Targeting safety-related errors during software requirements analysis
Journal of Systems and Software
Generating Code from Hierarchical State-Based Requirements
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Optimizing Symbolic Model Checking for Statecharts
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Object-oriented modeling with ADORA
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
The ADORA Approach to Object-Oriented Modeling of Software
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
"-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems
CSB '02 Proceedings of the IEEE Computer Society Conference on Bioinformatics
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
Proceedings of the 2005 ACM symposium on Applied computing
From NuSMV to SPIN: Experiences with model checking flight guidance systems
Formal Methods in System Design
Hidden Implementation Dependencies in High Assurance and Critical Computing Systems
IEEE Transactions on Software Engineering
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
A Case for Specification Validation
Verified Software: Theories, Tools, Experiments
Reconciling statechart semantics
Science of Computer Programming
Model Checking Flight Guidance Systems: from Synchrony to Asynchrony
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Previously, we defined a blackbox formal system modeling language called RSML (Requirements State Machine Language). The language was developed over several years while specifying the system requirements for a collision avoidance system for commercial passenger aircraft. During the language development, we received continual feedback and evaluation by FAA employees and industry representatives, which helped us to produce a specification language that is easily learned and used by application experts.Since the completion of the RSML project, we have continued our research on specification languages. This research is part of a larger effort to investigate the more general problem of providing tools to assist in developing embedded systems. Our latest experimental toolset is called SpecTRM (Specification Tools and Requirements Methodology), and the formal specification language is SpecTRM-RL (SpecTRM Requirements Language).This paper describes what we have learned from our use of RSML and how those lessons were applied to the design of SpecTRM-RL. We discuss our goals for SpecTRM-RL and the design features that support each of these goals.