From requirements to validated embedded systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2211, Issue , 2001, Pages 51-65

  Broy, Manfred ^a   Slotosch, Oscar ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b Validas Model Validation AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SOFTWARE;

CAR SEATS; FOCAL POINTS; INDUSTRIAL STRENGTH; MATHEMATICAL THEORY; MODULAR METHODS; MULTI-VIEW MODELLING; SCIENTIFIC FOUNDATIONS; TOOL SUPPORT;

EMBEDDED SYSTEMS;

EID: 84947264831     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45449-7_5     Document Type: Conference Paper

References (13)

1. B. Bajraktari: Modelbasiertes Requirements Tracing. Master thesis, TU München, 2001
2. M. Broy: Compositional Refinement of Interactive Systems. DIGITAL Systems Research Center, SRC 89, 1992. Also in: Journal of the ACM, Volume 44, No. 6 (Nov. 1997), 850-891
3. M. Broy. Requirements engineering for embedded systems. In Proc. of FemSys’97, 1997.
4. M. Broy, O. Slotosch Enriching the Software Development Process by Formal Methods, Proceedings of FM-Trends 98, LNCS 1641
5. M. Broy, K. Stølen: Specification and Development of Interactive Systems: FOCUS Focus on Streams, Interfaces, and Refinement. Springer 2001
6. F. Huber, S. Molterer, A. Rausch, B. Schätz, M. Sihling, O. Slotosch: Tool supported Specification and Simulation of Distributed Systems, Proceedings of International Symposium on Software Engineering for Parallel and Distributed Systems, 1998
7. J. Philipps, O. Slotosch: The Quest for Correct Systems: Model Checking of Diagramms and Datatypes, Proceedings of Asia Pacific Software Engineering Conference 1999, 449-458
8. A. Pretschner, O. Slotosch, H. Lötzbeyer, E. Aiglstorfer, S. Kriebel: Model Based Testing for Real: The Inhouse Card Case Study in Proc. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems (FMICS01), Paris, July 2001
9. O. Slotosch: Quest: Overview over the project, Proceedings of FM-Trends 98, 1998 LNCS 1641: 346-350
10. G. Wimmel, A. Pretschner, O. Slotosch: Specification Based Test Sequence Generation with Propositional Logic, Journal on Software Testing Verification and Reliablilty (to appear)
11. SAE. Certification considerations for highly-integrated or complex aircraft systems. ARP 4754, 1996.
12. RTCA Inc., EUROCAE. Design assurance guidance for airborne electronic hardware. Working draft #17, SC-180/ED-801999. RTCA Inc., EUROCAE. Software considerations in airborne systems and equipment certification. DO-178B/ED-12B, 1992.
13. IEEE Std 830-1993: IEEE Recommended Practice for Software Requirements Specification. IEEE, 1994.