Model-based development of embedded systems

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

Volumn 2426 LNCS, Issue , 2002, Pages 298-311

  Schatz B ^a   Pretschner, A ^a   Huber, F ^b   Philipps, J ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b Validas Model Validation AG   (Germany)

Author keywords

Conceptual Model; Consistency Condition; Description Technique; Meta Model; Product Model

Indexed keywords

INFORMATION SYSTEMS; INFORMATION USE; PRODUCT DESIGN;

CONCEPTUAL MODEL; CONSISTENCY CONDITIONS; DESCRIPTION TECHNIQUE; META MODEL; PRODUCT MODELING;

EMBEDDED SYSTEMS;

EID: 84881617712     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46105-1_34     Document Type: Conference Paper

References (15)

1. K. Beck. Extreme Programming Explained: Embrace Change. Addison Wesley, 1999. 307
2. K. Bender, M. Broy, I. Péter, A. Pretschner, and T. Stauner. Model based development of hybrid systems: specification, simulation, test case generation. In Modelling, Analysis and Design of Hybrid Systems, LNCIS. Springer, 2002. To appear. 310
3. Jean-Claude Derniame, Badara Ali Kaba, and David Wastell, editors. Software Process: Principles, Methodology and Technology. Springer, 1999. LNCS 1500. 305, 308
4. M. Fowler. Refactoring-Improving the Design of Existing Code. Addison Wesley, 1999. 307
5. D. Harel. Biting the silver bullet: Toward a brighter future for system development. IEEE Computer, 25(1), January 1992. 308
6. Thomas A. Henzinger, Benjamin Horowitz, and Christoph Meyer Kirsch. Giotto: A time-triggered language for embedded programming. In Proceedings of EMSOFT 2001, LNCS 2211, 2001. 309
7. Franz Huber and Bernhard Schätz. Integrated Development of Embedded Systems with AutoFocus. Technical Report TUMI-0701, Fakultät für Informatik, TU München, 2001. 301, 304
8. K. Keutzer, S. Malik, R. Newton, J. Rabaey, and A. Sangiovanni-Vincentelli. System Level Design: Orthogonalization of Concerns and Platform-Based Design. IEEE Transactions on Computer-Aided Design of Circuits and Systems, 19(12), December 2000. 308
9. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira Lopes, J. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Proc. European Conference on Object-Oriented Programming (ECOOP’97), Springer LNCS 1241, 1997. 308
10. J. Robbins. Cognitive Support Features for Software Development. PhD thesis, University of California, Irvine, 1999. 308
11. B. Schätz, A. Pretschner, F. Huber, and J. Philipps. Model-based development. Technical Report TUM-I0204, Institut für Informatik, Technische Univer-sität München, 2002. 299, 309
12. Bernhard Schätz. The ODL Operation Definition Language and the AutoFo-cus/Quest Application Framework AQuA. Technical Report TUMI-1101, Fakultät für Informatik, TU München, 2001. 304, 306
13. M. Sgroi, L. Lavagno, and A. Sangiovanni-Vincentelli. Formal Models for Embeded System Design. IEEE Design& Test of Computers, Special Issue on System Design, pages 2–15, June 2000.
14. R. Soley. Model Driven Architecture. OMG white paper, 2000. 308 308
15. James Withey. Implementing model based software engineering in your organization: An approach to domain engineering. Technical Report CMU/SEI-94-TR-0, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pa., 1994. 308