Abstract
This part covers the tools and technologies which play a role in capturing and exploring requirements, in both functional and extra-functional aspects, for embedded systems design, with emphasis on the coupling between the functionalities and the plant for control.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Butler, R.W., Caldwell, J.L., Di Vito, B.L.: Design strategy for a formally verified reliable computing platform. In: Abstract Data Types 1991 and COMPASS 1991, pp. 125–133 (1991)
Cristian, F., et al.: Atomic Broadcast: From simple message diffusion to Byzantine agreement. In: Proceedings of the 15th IEEE Int. Symp. on Fault- Tolerant Computing (FTCS-15), Ann Arbor, Michigan (1985)
Kaufmann, L.F., Johnson, B.W.: Modelling of Common-Mode Failures in Digital Embedded Systems. In: Proceedings of the Reliability and Maintainability Symposium 2000, Los Angeles, CA, IEEE Press, Los Alamitos (2000)
Laprie, J.C. (ed.): Dependability: Basic Concepts and Terminology - in English, French, German, and Japanese. Springer, Vienna (1992)
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bouyssounouse, B., Sifakis, J. (2005). Tools for Requirements Capture and Exploration. In: Embedded Systems Design. Lecture Notes in Computer Science, vol 3436. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31973-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-31973-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25107-1
Online ISBN: 978-3-540-31973-3
eBook Packages: Computer ScienceComputer Science (R0)