Correct-ed through construction: a model-based approach to embedded systems reality

We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to correct specifications as they are constructed, driving the engineer towards a more correct specification. We also present a concrete specification language based on this methodology

[1]  Janos Sztipanovits,et al.  Using separation of concerns for embedded systems design , 2005, EMSOFT.

[2]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[3]  E.A. Lee,et al.  Synchronous data flow , 1987, Proceedings of the IEEE.

[4]  Stephen R. Schach,et al.  Object-oriented and classical software engineering , 1995 .

[5]  Edward A. Lee,et al.  Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..

[6]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[7]  Alberto L. Sangiovanni-Vincentelli,et al.  Conservative approximations for heterogeneous design , 2004, EMSOFT '04.

[8]  Gabor Karsai,et al.  Composition and cloning in modeling and meta-modeling , 2004, IEEE Transactions on Control Systems Technology.

[9]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .

[10]  Reinaldo A. Bergamaschi,et al.  The A to Z of SoCs , 2002, ICCAD 2002.

[11]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[12]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[13]  Frédéric Boussinot,et al.  The ESTEREL language , 1991, Proc. IEEE.

[14]  Christoph M. Kirsch,et al.  Giotto: a time-triggered language for embedded programming , 2003 .

[15]  Sandeep Neema,et al.  Toward a semantic anchoring infrastructure for domain-specific modeling languages , 2005, EMSOFT.

[16]  Alexandra Poulovassilis,et al.  Classical and Object-Oriented Software Engineering with UML and C++, Stephen R. Schach, McGraw-Hill, 1998 (Book Review) , 2000, Softw. Test. Verification Reliab..

[17]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[18]  Edward A. Lee,et al.  Classes and subclasses in actor-oriented design , 2004, MEMOCODE.