Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5421, Issue , 2009, Pages 20-34

  Porter, Joseph ^a   Karsai, Gabor ^a   Volgyesi, Peter ^a   Nine, Harmon ^a   Humke, Peter ^a   Hemingway, Graham ^a   Thibodeaux, Ryan ^a   Sztipanovits, Janos ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE DESCRIPTION LANGUAGES; AUTOMATIC SYNTHESIS; CODE DEVELOPMENT; CONTROL DESIGN; DESIGN AUTOMATIONS; EMBEDDED CONTROL SYSTEMS; HARDWARE SYSTEM; INTEGRATED DEVELOPMENT ENVIRONMENT; MODEL-BASED; SAFETY-CRITICAL; SOFTWARE MODELING; TOOLS AND TECHNIQUES;

COMPUTER AIDED DESIGN; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTROL; EMBEDDED SYSTEMS; PROGRAM DEBUGGING; SYSTEMS ANALYSIS; VERIFICATION; WEB SERVICES;

MODELS;

EID: 67650151612     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01648-6_3     Document Type: Conference Paper

References (32)

1. Henzinger, T., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 1-15. Springer, Heidelberg (2006) (Pubitemid 44502894)
2. Sangiovanni-Vincentelli, A.: Defining Platform-based Design. EEDesign of EETimes (February 2002)
3. Kopetz, H., Bauer, G.: The time-triggered architecture. In: Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software (October 2001)
4. AS-2 Embedded Computing Systems Committee: Architecture analysis and design language (AADL). Technical Report AS5506, Society of Automotive Engineers (November 2004)
5. RTCA, Inc. 1828 L St. NW, Ste. 805, Washington, D.C. 20036: DO-178B: Software Considerations in Airborne Systems and Equipment Certification. Prepared by: RTCA SC-167 (December 1992)
6. Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 166-184. Springer, Heidelberg (2001) (Pubitemid 33351857)
7. Neema, S., Karsai, G.: Embedded control systems language for distributed processing (ECSL-DP). Technical Report ISIS-04-505, Institute for Software Integrated Systems, Vanderbilt University (2004)
8. Agrawal, A., Karsai, G., Neema, S., Shi, F., Vizhanyo, A.: The design of a language for model transformations. Journal on Software and System Modeling 5(3), 261- 288 (2006) (Pubitemid 44323759)
9. ISIS, V.U.: Generic Modeling Environment, http://repo.isis.vanderbilt. edu/
10. Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE 91(1) (2003)
11. Lee, E.A., Sangiovanni-Vincentelli, A.L.: A denotational framework for comparing models of computation. Technical Report UCB/ERL M97/11, EECS Department, University of California, Berkeley (1997)
12. Ohlin, M., Henriksson, D., Cervin, A.: TrueTime 1.5 Reference Manual. Dept. of Automatic Control, Lund University, Sweden (January 2007), http://www.control.lth.se/truetime/
13. Thibodeaux, R.: The specification and implementation of a model of computation. Master's thesis, Vanderbilt University (May 2008)
14. Schulte, C., Lagerkvist, M., Tack, G.: Gecode: Generic Constraint Development Environment, http://www.gecode.org/
15. Schild, K., Ẅurtz, J.: Scheduling of time-triggered real-time systems. Constraints 5(4), 335-357 (2000)
16. Magyari, E., Bakay, A., Lang, A., et al.: Udm: An infrastructure for implementing domain-specific modeling languages. In: The 3rd OOPSLA Workshop on Domain- Specific Modeling (October 2003)
17. B̈orger, E., Sẗark, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
18. ISO/IEC: Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics. 13568:2002 (July 2002)
19. UCB: Ptolemy II, http://ptolemy.berkeley.edu/ptolemyII/
20. Hwang, M.H.: DEVS++: C++ Open Source Library of DEVS Formalism (May 2007), http://odevspp.sourceforge.net/
21. Basic Research in Computer Science (Aalborg Univ.) Dept. of Information Technology (Uppsala Univ.): Uppaal. Integrated tool environment for modeling, validation and verification of real-time systems, http://www.uppaal.com/
22. Ouimet, M., Lundqvist, K.: The timed abstract state machine language: An executable specification language for reactive real-time systems. In: Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS 2007), Nancy, France (March 2007)
23. Skaf, J., Boyd, S.: Controller coefficient truncation using lyapunov performance certificate. IEEE Transactions on Automatic Control (in review) (December 2006)
24. Bhave, A., Krogh, B.H.: Performance bounds on state-feedback controllers with network delay. In: IEEE Conference on Decision and Control 2008 (submitted) (December 2008)
25. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM 2006: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, pp. 3-12. IEEE Computer Society Press, Washington (2006)
26. Chen, K., Sztipanovits, J., Abdelwahed, S.: A semantic unit for timed automata based modeling languages. In: Proceedings of RTAS 2006, pp. 347-360 (2006)
27. Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 115-129. Springer, Heidelberg (2005)
28. Gargantini, A., Riccobene, E., Rinzivillo, S.: Using spin to generate testsfrom ASM specifications. In: B̈orger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 263-277. Springer, Heidelberg (2003)
29. Ouimet, M., Lundqvist, K.: Automated verification of completeness and consistency of abstract state machine specifications using a sat solver. In: 3rd International Workshop on Model-Based Testing (MBT 2007), Satellite of ETAPS 2007, Braga, Portugal (April 2007)
30. Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Automated Software Engineering Journal 10(2) (April 2003)
31. Xie, Y., Aiken, A.: Saturn: A sat-based tool for bug detection. In: Proceedings of the 17th International Conference on Computer Aided Verification, pp. 139-143 (January 2005) (Pubitemid 41431726)
32. Narayanan, A., Karsai, G.: Towards verifying model transformations. In: Bruni, R., Varŕo, D. (eds.) 5th International Workshop on Graph Transformation and Visual Modeling Techniques, 2006, Vienna, Austria, pp. 185-194 (April 2006)