A metamodel-driven process featuring advanced model-based timing analysis

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

Volumn 4498 LNCS, Issue , 2007, Pages 128-141

  Panunzio, Marco ^a   Vardanega, Tullio ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS; TIME DOMAIN ANALYSIS;

METAMODEL-DRIVEN PROCESS; MODEL-DRIVEN ENGINEERING;

METADATA;

EID: 37849043960     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73230-3_10     Document Type: Conference Paper

References (25)

1. The Object Management Group (OMG), http://www.omg.org
2. Cechticky, V., Egli, M., Pasetti, A., Rohlik, O., Vardanega, T.: A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications. In: Morisio, M. (ed.) ICSR 2006. LNCS, vol. 4039, Springer, Heidelberg (2006)
3. Burns, A., Dobbing, B., Vardanega, T.: Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems. University of York (UK), Technical Report YCS-2003-348 (2003)
4. Ada, Language Reference Manual. (2005), http://www.adaic.org/standards/ ada05.html
5. Real-Time Specification for Java (RTSJ), https://rtsj.dev.java.net/
6. Bordin, M., Vardanega, T.: Correctness by Construcution for High-Integrity Real-Time Systems: a Metamodel-driven Approach. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 114-127. Springer, Heidelberg (2007)
7. de la Puente, J.A., Ruiz, J.F., Zamorano, J.: An Open Ravenscar Real-Time Kernel for GNAT, Reliable Software Technologies - Ada-Europe (2000)
8. Aonix Object-Ada Real-Time Raven. http://www.aonix.com/objectada_raven. html
9. Aonix PERC-RAVEN. http://www.aonix.com/perc.html
10. Kwon, J., Wellings, A., King, S.: Ravenscar Java: A High-Integrity Profile for Real-Time Java. University of York (UK), Technical Report YCS 342 (May 2002)
11. Bordin, M., Vardanega, T.: Correctness by Construction for High-Integrity Real-Time Systems: a Metamodel-driven Approach. Reliable Software Technologies - Ada-Europe 2007 (to appear, June 2007)
12. Goodenough, J.B., Sha, L.: The Priority Ceiling Protocol: a Method for Minimizing the Blocking of High Priority Ada Tasks. In: Proceedings of the 2nd International Workshop on Real-time Ada issues (1988)
13. Baker, T.P.: Stack-Based Scheduling of Realtime Processes. Real-Time Systems Journal 3(1), 67-99 (1991)
14. Burns, A., Wellings, A.J.: HRT-HOOD: a Structured Design Method for Hard Real-Time Systems. Real-Time Systems, Journal 6(1), (1994)
15. Bordin, M., Vardanega, T.: A New Strategy for the HRT-HOOD to Ada Mapping. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol. 3555, pp. 51-66. Springer, Heidelberg (2005)
16. Architecture Analysis & Design Language, SAE Standard AS-5506 (2006), http://www.aadl.info/
17. Pulido, J.A., Urueña, S., Zamorano, J., Vardanega, T., de la Puente, J.A.: Hierarchical Scheduling with Ada 2005. In: Reliable Software Technologies - Ada-Europe 2006 (2006)
18. ARINC. Avionics Application Software Standard Interface: ARINC Specification 653-1. (October 2003)
19. MAST: Modeling and Analysis Suite and Tools, http://mast.unican.es
20. Liu, C.L., Layland, L.: Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment. Journal of ACM, vol. 20 (1973)
21. Vardanega, T., Zamorano, J., de la Puente, J.A.: On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels. Real-Time Systems. Kluwer Academic Publishers, Dordrecht (2005)
22. Davis, R., Burns, A.: Hierarchical Fixed Priority Preemptive Scheduling. Technical Report YCS-2005-385, University of York (2005)
23. Lorente, J.L., Palencia, J.C.: An EDF Hierarchical Scheduling Model for Bandwidth Servers. 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (2006)
24. Bini, E., Di Natale, M., Buttazzo, G.: Sensitivity Analysis for Fixed-Priority Real-Time Systems. In: Proceedings of the 18th Euromicro Conference on Real-Time Systems, Dresden, Germany (July 2006)
25. Panunzio, M., Vardanega, T.: An Integrated Framework for the Timing Analysis of Hierarchical Systems. submitted to 19th Euromicro Conference on Real-Time Systems