Abstract
The application of formal techniques can contribute much to the quality of software, which is of utmost importance for safety-critical embedded systems. These techniques, however, are not easy to apply. In particular, methodological guidance is often unsatisfactory. We address this problem by the concept of an agenda. An agenda is a list of activities to be performed for solving a task in software engineering. Agendas used to support the application of formal specification techniques provide detailed guidance for specifiers, templates of the used specification language that only need to be instantiated, and application independent validation criteria. We apply the agenda approach to a particular class of embedded safety-critical systems, the formal specification of which has been investigated in the case-studies of the German Espress project during the last two years.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
E. Astesiano and G. Reggio. Formalism and Method. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT'97, LNCS 1214, pages 93–114. Springer-Verlag, 1997.
R. Büssow, H. Dörr, R. Geisler, W. Grieskamp, and M. Klar. ΜSZ — ein Ansatz zur systematischen Verbindung von Z und Statecharts. Technical Report TR 96-32, Technische UniversitÄt Berlin, 1996.
R. Büssow, R. Geisler, and M. Klar. Specifying safety-critical embedded systems with statecharts and Z: a case study. this volume, 1997.
Robert Büssow and Wolfgang Grieskamp. Combinig Z and temporal interval logics for the formalization of properties and behaviors of embedded systems. In R. K. Shyamasundar and K. Ueda, editors, Advances in Computing Science — Asian '97, volume 1345 of LNCS, pages 46–56. Springer-Verlag, 1997.
E. Gamma, R. Helm, R. Johnson, and Vlissides. J. Design Patterns — Elements of Reusable Object-Oriented Software. Addison Wesley, Reading, 1995.
P. Garg and M. Jazayeri. Process-centered software engineering environments: A grand tour. In A. Fuggetta and A. Wolf, editors, Software Process, number 4 in Trends in Software, chapter 2, pages 25–52. Wiley, 1996.
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. Statemate: A working environment for the development of complex reactive systems. IEEE TSE, 16 No. 4, April 1990.
M. Heisel. Methodology and Machine Support for the Application of Formal Techniques in Software Engineering. Habilitation Thesis, TU Berlin, 1997.
M. Heisel and C. Sühl. Methodological support for formally specifying safetycritical software. In P. Daniel, editor, Proceedings 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP), pages 295–308. Springer-Verlag London, 1997.
Maritta Heisel. Agendas — a concept to guide software development activites. In Proc. Systems Implementation 2000, 1998. to appear.
C. Heitmeyer, R. Jeffords, and B. Lebaw. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 5(3):231–261, July 1996.
K. Huff. Software process modelling. In A. Fuggetta and A. Wolf, editors, Software Process, number 4 in Trends in Software, chapter 2, pages 1–24. Wiley, 1996.
Kolyang, T. Santen, and B. Wolff. A structure preserving encoding of Z in Isabelle/HOL. In J. von Wright, J. Grundy, and J. Harrison, editors, Theorem Proving in Higher-Order Logics, LNCS 1125. Springer-Verlag, 1996.
M. Shaw and D. Garlan. Software Architecture. IEEE Computer Society Press, Los Alamitos, 1996.
Jeanine Souquières and Nicole Lévy. Description of specification developments. In Proc. of Requirements Engineering '93, pages 216–223, 1993.
J.M. Spivey. The Z Notation — A Reference Manual. Prentice Hall, 1992.
J. B. Wordsworth. Software Development with Z. Addison-Wesley, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grieskamp, W., Heisel, M., Dörr, H. (1998). Specifying embedded systems with statecharts and Z: An agenda for cyclic software components. In: Astesiano, E. (eds) Fundamental Approaches to Software Engineering. FASE 1998. Lecture Notes in Computer Science, vol 1382. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053585
Download citation
DOI: https://doi.org/10.1007/BFb0053585
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64303-6
Online ISBN: 978-3-540-69723-7
eBook Packages: Springer Book Archive