Model integrated computing in the large

IEEE Aerospace Conference Proceedings

Volumn 2005, Issue , 2005, Pages

  Ledeczi, Akos ^a   Balogh, Gyorgy ^a   Molnar, Zoltan ^a   Volgyesi, Peter ^a   Maroti, Miklos ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRATED COMPUTING; MODEL VERSIONING; VERSION CONTROL TOOL;

CODES (SYMBOLS); CONTROL SYSTEMS; DATABASE SYSTEMS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; XML;

COMPUTATION THEORY;

EID: 33751508800     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.2005.1559630     Document Type: Conference Paper

References (10)

1. Karsai G., Sztipanovits J., et al.: "Model-Integrated Development of Embedded Software," Proceedings of the IEEE, Vol. 91, Issue: 1, pp. 145-164, January, 2003
2. Ledeczi A., et al.: "Composing Domain-Specific Design Environments," IEEE Computer, pp. 44-51, Nov, 2001
3. Ledeczi A., Davis J., Neema S., Agrawal A.: "Modeling Methodology for Integrated Simulation of Embedded Systems," ACM Transactions on Modeling and Computer Simulation, Vol. 13, Issue 1, pp. 82-103, Jan 2003
4. Carnes J. R., Misra A.: "Model-Integrated Toolset for Fault Detection, Isolation and Recovery (FDIR)", Proceedings of the International Conference on Engineering of Computer Based Systems, March 11-15, 1996
5. Davis J. R., Scott J., et al.: "Multi-Domain Surety Modeling and Analysis for High Assurance Systems", Proceedings of the Engineering of Computer Based Systems Conference, March, 1999
6. Long E., Misra A. et al.: "Increasing Productivity at Saturn", IEEE Computer, August, 1998
7. http://www-306.ibm.com/software/awdtools/clearcase/
8. http://msdn.microsoft.com/vstudio/previous/ssafe/
9. Karsai G, Neema S., Abbott B., Sharp D.: "A Modeling Language and its Supporting Tools for Avionics Systems," Proceedings of the 21st Digital Avionics Systems Conference, August 2002
10. Harrison T., Levine D. and Schmidt D. C.: "The Design and Performance of a Real-time CORBA Event Service," Proceedings of OOPSLA, ACM, Atlanta, GA, Oct, 1997.