Automatic code generation from real-time systems specifications

Proceedings of the International Workshop on Rapid System Prototyping

Volumn , Issue , 2009, Pages 102-105

  Carnevali, L ^a   D'Amico, D ^a   Ridi, L ^a   Vicario, E ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC CODE GENERATIONS; DEVELOPMENT PROCESS; DYNAMIC ARCHITECTURE; EXTENSIBLE STYLESHEET LANGUAGE TRANSFORMATIONS; FLEXIBLE ARCHITECTURES; MODEL-DRIVEN DEVELOPMENT; NEW MODEL; OPERATING SYSTEMS; RAPID DEVELOPMENT; REAL-TIME TASKS; SCHEMAS;

AUTOMATIC PROGRAMMING; COMPUTER OPERATING SYSTEMS; JAVA PROGRAMMING LANGUAGE; SPECIFICATIONS; XML;

REAL TIME SYSTEMS;

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

References (22)

1. R. Alur, I. Lee, and O. Sokolsky. Compositional refinement for hierarchical hybrid systems. In Hybrid Systems: Computation and Control, LNCS 2034, pages 33-48. Springer-Verlag, 2001.
2. G. Bucci, A. Fedeli, L. Sassoli, and E. Vicario. Timed state space analysis of real time preemptive systems. IEEE Trans. on Soft. Eng., 30(2):97-111, Feb. 2004.
3. G. Bucci, L. Sassoli, and E. Vicario. Oris: a tool for state space analysis of real-time preemptive systems. Proc. of the 1st Int. Conf. on the Quant. Evaluation of Sys. (QEST), September 2004.
4. A. Burns, B. Dobbing, and T. Vardanega. Guide on the use of the ada ravenscar profile in high integrity systems. ADA Letters, XXIV(2):1-74, 2004.
5. G. Buttazzo. Hard Real-Time Computing Systems. Springer, 2005.
6. L. Carnevali, L. Grassi, and E. Vicario. A tailored vmodel exploiting the theory of preemptive time petri nets. In Ada-Europe '08: Proc. of the Ada-Europe Int. Conf. on Reliable Software Technologies, pages 87-100, Berlin, Heidelberg, 2008. Springer-Verlag.
7. L. Carnevali, L. Sassoli, and E. Vicario. Casting preemptive time petri nets in the development life cycle of real-time software. Proc. of the Euromicro Conference on Real-Time Systems, July 2007.
8. L. Carnevali, L. Sassoli, and E. Vicario. Sensitization of symbolic runs in real-time testing using the oris tool. Proc. of the IEEE Conf. on Emerging Technologies and Factory Automation (ETFA), Sept. 2007.
9. CENELEC. En 50128 - railway applications: Sw for railway control and protection systems. Technical report, CENELEC, 1997.
10. M. P. Cline. The pros and cons of adopting and applying design patterns in the real world. Commun. ACM, 30(10):47-49, 1996.
11. R. T. C. for Aeronautics. Do-178b, software considerations in airborne systems and equipment certification. Technical report, RTCA, 1992.
12. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1994.
13. L. Hatton. Language subsetting in an industrial context: a comparison of MISRA C 1998 and MISRA C 2004. Information and Soft. Tech., 49(5):475-482, 2007.
14. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. In Proc. of the IEEE, pages 84-99. IEEE, 2003.
15. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-integrated development of embedded software. Proc. of the IEEE, 91:145-164, Jan. 2003.
16. P. Kruchten. The Rational Unified Process: an introduction. Addison-Wesley, 2003.
17. The Mathworks. Simulink. http://www.mathworks.com/products/ simulink/.
18. D. of Aerospace Eng.of the Polytechnic of Milan. RTAI: Real Time Application Interface for Linux. https://www.rtai.org.
19. L. Sassoli and E. Vicario. Analysis of real time systems through the oris tool. Proc. of the 3rd Int. Conf. on the Quant. Evaluation of Sys.(QEST), Sept., 2006.
20. D. C. Schmidt. Model-driven engineering. IEEE Computer, pages 1-2, February 2006.
21. L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Trans. Comput., 39(9):1175-1185, 1990.
22. World Wide Web Consortium. XSL Transformation (XSLT), November 1999. http://www.w3.org/Style/XSL/.