Constraint-based design-space exploration and model synthesis

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

Volumn 2855, Issue , 2003, Pages 290-305

  Neema, Sandeep ^a   Sztipanovits, Janos ^a   Karsai, Gabor ^a   Butts, Ken ^b  

^a VANDERBILT UNIVERSITY   (United States)

^b FORD MOTOR COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; LANDFORMS;

AUTOMOTIVE APPLICATIONS; COMPONENT-BASED MODELING; CONSTRAINT-BASED DESIGN; CONSTRUCTING MODELS; DOMAIN SPECIFIC DESIGN; MODEL- BASED DESIGNS; MODELLING AND ANALYSIS; STRUCTURAL REQUIREMENTS;

DESIGN;

EID: 0142156696     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45212-6_19     Document Type: Article

References (22)

1. Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: "Model-Integrated Development of Embedded Software", Proceedings of the IEEE, Vol. 91, No.1., pp.145-164, January, 2003
2. D. Harel and M. Politi, Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw-Hill, 1998
3. Thomas A. Henzinger. The theory of hybrid automata. Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS), IEEE Computer Society Press, 1996, pp. 278-292
4. J. Sztipanovits and G. Karsai: "Model-Integrated Computing," IEEE Computer, April, 1997 (1997) 110-112
5. Clark, T., Evans, A., Kent, S.: "Engineering Modeling Languages: A Precise Meta-modeling Approach," R.-D. Kutsche and H. Weber (Eds.): FASE 2000, LNCS 2306, pp. 159-173, 2002
6. Evans, A., France, R., Lano, K., Rumpe, B.: «Developing UML as a Formal Modeling Notation,"LNCS 1357, pp. 145-150, Springer Verlag Berlin, 1997
7. Levendovszky, T., Karsai G.: "Model reuse with metamodel based-transformations," ICSR, LNCS, Austin, TX, April 18, 2002.
8. Butts, K., Bostic, D., Chutinan, A., Cook, J., Milam, B., Wand, Y.: "Usage Scenarios for an Automated Model Compiler," EMSOFT 2001, LNCS 2211, Springer. (2001) 66-79
9. T. Clark, A. Evans, S. Kent, P. Sammut: "The MMF Approach to Engineering Object-Oriented Design Languages," Workshop on Language Descriptions, Tools and Applications (LDTA2001), April, 2001
10. Neema, S.: "Simulink and Stateflow Data Model", see www.isis.vanderbilt.edu.
11. Nordstrom G., Sztipanovits J., Karsai G., Ledeczi, A.: "Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments", Proceedings of the IEEE ECBS'99, Nashville, TN, April, 1999. (1999) 68-75
12. Generic Modeling Environment documents, http://www.isis.vanderbilt.edu/projects/gme/Doc.html
13. Object Constraint Language Specification, ver. 1.1, Rational Software Corporation, et al., Sept. 1997. (1997)
14. Neema, S., "Design Space Representation and Management for Embedded Systems Synthesis," Technical Report, ISIS-01-203, February 2001. http://www.isis.vanderbilt.edu/publications/archive/Neema_S_2_0_2003_Design_Spa. pdf
15. Bryant R., "Symbolic Manipulation with Ordered Binary Decision Diagrams," School of Computer Science, Carnegie Mellon University, Technical Report CMU-CS-92-160, July 1992
16. UML Semantics, Ver. 1.1., Rational Software Corporation, 1997.
17. http://www.mozart-oz.org/
18. Ledeczi A., Davis J., Neema S., Eames B., Nordstrom G., Prasanna V., Raghavendra, C., Bakshi A., Mohanty S., Mathur V., Singh M.: Overview of the Model-based Integrated Simulation Framework, Tech. Report, ISIS-01-201, January 30, 2001.
19. Lee, E.A., Sangiobanni-Vincentelli, A.L.: "A framework for comparing models of computations," IEEE Transactions on Computer Aided Design Integrated Circuits, 17(12):1217-1229, Dec. 1998.
20. Burch, J.R., Passerone, R., Sangiovanni-Vincentelli, A.L.: "Modeling Techniques in Design-by-Refinement Methodologies, Proc. of IDPT-2002, June, 2002
21. Sangiovanni-Vincentelli, A.L.: " Defining platform-based design," EEDesign, February, 2002
22. Lee, E.A., Neuendorffer, S., Wirthlin, M.J.: "Actor-Oriented Design of Hardware and Software Systems," (to be published in Journal of Circuits, Systems and Computers) Technical Memorandum UCB/ERL M02/13, University of California, Berkeley, CA 94720, May 1, 2002