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

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2006, Pages 167-176

  Jackson, Ethan K ^a   Sztipanovits, Janos ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTER SYSTEMS PROGRAMMING; MATHEMATICAL MODELS; SPECIFICATION LANGUAGES; SYSTEMS ANALYSIS;

CORRECT SPECIFICATIONS; MODEL BASED TECHNIQUES;

EMBEDDED SYSTEMS;

EID: 34250007199     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2006.32     Document Type: Conference Paper

References (15)

1. S. E. N. H.- P. L. G. A. Benveniste, P. Caspi and R. de Simone. The synchronous languages twelve years later. Proceedings of the IEEE, 91(1):64-83, 2003.
2. R. Bergamaschi and J. Cohn. The a to z of socs. Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design, pages 790-798, 2002.
3. F. Boussinot and R. de Simone. The esterel language. Proceedings of the IEEE, 79:1293-1304, September 1991.
4. S. N. E. A. Lee and M. J. Wirthlin. Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers, 12(3):231-260, 2003.
5. A. L. J. G. G. Karsai, M. Maroti and J. Sztipanovits. Type hierarchies and composition in modeling and meta-modeling languages. IEEE Transactions on Control. System Technology, 2003.
6. A. L. T. B. G. Karsai, J. Sztipanovits. Model-integrated development of embedded software. Proceedings of the IEEE, 91(1):145-164, 2003.
7. E. K. Jackson and J. Sztipanovits. Using separation of concerns for embedded systems design. In Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT'05), September 2005.
8. S. N. M. E. K. Chen, J. Sztipanovits and S. Abdelwahed. Toward a semantic anchoring infrastructure for domainspecific modeling languages. In Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT'05), September 2005.
9. E. A. Lee and D. G. Messerschmitt. Synchronous data flow. Proceedings of the IEEE, 75(9): 1235-1245, 1987.
10. E. A. Lee and S. Neuendorffer. Classes and subclasses in actor-oriented design. Conference on Formal Methods and Models for Codesign (MEMOCODE), June 2004.
11. P. R. N. Halbwachs, P. Caspi and D. Pilaud. The synchronous data flow programming language lustre. Proceedings of the IEEE, 79:1305-1320, September 1991.
12. M. L. B. P. Le Guernic, T. Gautier and C. L. Maire. Programming real-time applications with signal. Proceedings of the IEEE, 79:1321-1336, September 1991.
13. A. L. S.-V. R. Passerone, J. R. Burch. Conservative approximations for heterogeneous design. In Proceedings of the Fourth ACM International Conference on Embedded Software (EMSOFT'04), September 2004.
14. S. R. Schach. Object-oriented and classical software engineering. McGraw-Hill, fifth edition edition, 2002.
15. B. H. T. A. Henzinger and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. In Proceedings of the First International Workshop on Embedded Software (EMSOFT), pages 166-184. Lecture Notes in Computer Science 2211, Springer-Verlag, 2001.