A framework for formal specification of embedded systems

This paper presents concepts of a specification-driven framework focusing on object-oriented design of embedded systems. It deals with tools and techniques aiming to prop formal specification and early design life cycle phases. Particularly, this contribution discusses logic calculus of objects, related class specification language, and techniques both for architecture specifications and for behavior specifications generated either from UML based semiformal behavioral diagrams or, as a reengineering tool, from source code.

[1]  Alonzo Church,et al.  A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.

[2]  Martín Abadi,et al.  A Theory of Objects , 1996, Monographs in Computer Science.

[4]  Miroslav Svéda,et al.  Knowledge preserving development: a case study , 1997, Proceedings International Conference and Workshop on Engineering of Computer-Based Systems.

[5]  Miroslav Svéda,et al.  Automatically Generated CSP Specifications , 2003, J. Univers. Comput. Sci..

[6]  Gail E. Kaiser,et al.  Models of software development environments , 1988, ICSE '88.

[7]  M. Sveda,et al.  An integrated framework for Internet-based applications of smart sensors , 2002, Proceedings of IEEE Sensors.

[8]  Roel Wieringa,et al.  A survey of structured and object-oriented software specification methods and techniques , 1998, CSUR.

[9]  Miroslav Sveda.  DEVELOPMENT ENVIRONMENT FOR LOCAL-TIME DESIGN METHOD , 1996 .

[10]  Miroslav Sveda,et al.  Integrated smart sensor networking framework for sensor-based appliances , 2003 .

[11]  Gail E. Kaiser,et al.  Models of software development environments , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[12]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.