An experimental model-based rapid prototyping environment for high-confidence embedded software

Proceedings of the International Workshop on Rapid System Prototyping

Volumn , Issue , 2009, Pages 3-10

  Porter, Joseph ^a   Volgyesi, Peter ^a   Kottenstette, Nicholas ^a   Nine, Harmon ^a   Karsai, Gabor ^a   Sztipanovits, Janos ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL ASPECTS; EXPERIMENTAL EVALUATION; EXPERIMENTAL MODELS; HARDWARE IN-THE-LOOP SIMULATION; INTEGRATED APPROACH; MODEL BASED DEVELOPMENT; MODEL-BASED; PROTOTYPING;

COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCURRENT ENGINEERING; EMBEDDED SYSTEMS; JOB ANALYSIS; RAPID PROTOTYPING; SIMULATORS; SPECIFICATIONS; VERIFICATION;

EMBEDDED SOFTWARE;

EID: 70350652191     PISSN: 10746005     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RSP.2009.32     Document Type: Conference Paper

References (19)

1. The Cheddar project : a free real time scheduling analyzer. http://beru.univ-brest.fr/ singhoff/cheddar.
2. TOPCASED: The Open-Source Toolkit for Critical Systems. http://www.topcased.org/index.php.
3. AS-2 Embedded Computing Systems Committee. Architecture analysis and design language (aadl). Technical Report AS5506, Society of Automotive Engineers, November 2004.
4. M. Y. Chkouri, A. Robert, M. Bozga, and J. Sifakis. Translating aadl into bip - application to the verification of realtime systems. In Model Based Architecting and Construction of Embedded Systems, Workshops and Symposia at MoDELS 2008, Springer LNCS 5421, Toulouse, France, To appear 2008.
5. D. de Niz, G. Bhatia, and R. Rajkumar. Model-based development of embedded systems: The sysweaver approach. Real-Time and Embedded Technology and Applications Symposium, 2006. Proceedings of the 12th IEEE, pages 231-242, April 2006.
6. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. Lecture Notes in Computer Science, 2211:166-184, 2001.
7. G. M. Hoffmann, H. Huang, S. L.Waslander, and C. J. Tomlin. Quadrotor helicopter flight dynamics and control: Theory and experiment. In Proc. of the AIAA Guidance, Navigation, and Control Conf., Hilton Head, SC, August 2007. AIAA Paper Number 2007-6461.
8. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Modelintegrated development of embedded software. Proceedings of the IEEE, 91(1), Jan. 2003.
9. H. Kopetz and G. Bauer. The time-triggered architecture. Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software, Oct 2001.
10. N. Kottenstette and J. Porter. Digital passive attitude and altitude control schemes for quadrotor aircraft. Technical Report ISIS-08-911, Institute for Software Integrated Systems, Vanderbilt University, 2008.
11. S. Neema and G. Karsai. Embedded control systems language for distributed processing (ECSL-DP). Technical Report ISIS-04-505, Institute for Software Integrated Systems, Vanderbilt University, 2004.
12. Object Management Group. Uml profile for modeling and analysis of real-time and embedded systems (marte). Technical report, 2008.
13. M. Ohlin, D. Henriksson, and A. Cervin. True-Time 1.5 Reference Manual. Dept. of Automatic Control, Lund University, Sweden, January 2007. http://www.control.lth.se/truetime/.
14. J. Porter, G. Karsai, P. Volgyesi, H. Nine, P. Humke, G. Hemingway, R. Thibodeaux, and J. Sztipanovits. Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation. In Workshops and Symposia at MoDELS 2008, Springer LNCS 5421, Toulouse, France, To appear 2008.
15. RTCA, Inc., 1828 L St. NW, Ste. 805, Washington, D.C. 20036. DO-178B: Software Considerations in Airborne Systems and Equipment Certification, December 1992. Prepared by: RTCA SC-167.
16. K. Schild and J. Würtz. Scheduling of time-triggered realtime systems. Constraints, 5(4):335-357, Oct. 2000.
17. C. Schulte, M. Lagerkvist, and G. Tack. Gecode: Generic Constraint Development Environment. http://www.gecode.org/.
18. The MathWorks, Inc. Simulink/Stateflow Tools. http://www.mathworks.com.
19. R. Thibodeaux. The specification and implementation of a model of computation. Master's thesis, Vanderbilt University, May 2008.