Contract-based reusable worst-case execution time estimate

Proceedings - 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2007

Volumn , Issue , 2007, Pages 39-46

  Fredriksson, Johan ^a   Noite, Thomas ^a   Nolin, Mikael ^a   Schmidt, Heinz ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AND REAL TIME; CLASSICAL TECHNIQUES; COMPONENT BEHAVIOR; COMPONENT CONTRACTS; INTERNATIONAL CONFERENCES; RESOURCE-CONSTRAINED; REUSABLE COMPONENTS; REUSABLE SOFTWARE COMPONENTS; SOFTWARE COMPONENTS; USAGE CONTEXT; WORST CASE EXECUTION TIMES (WCET); WORST-CASE EXECUTION TIME (WCET);

COMPUTER SOFTWARE REUSABILITY; COMPUTER SYSTEMS; CONTRACTS; EMBEDDED SYSTEMS; ESTIMATION; REUSABILITY;

REAL TIME SYSTEMS;

EID: 46449130036     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2007.32     Document Type: Conference Paper

References (23)

1. th IEEE RTCSA conference, Cheju Island, South Korea, IEEE (2000)
2. aiT: (ait execution time analyzer) Absint: http://www.absint.com/ait/.
3. RapiTime: (Rapitime execution time analyzer) Rapita Systems: http://www.rapitasystems.com/.
4. Bound-t: (Bound-t execution time analyzer) Tidorum Ltd: http://www.tidorum.fi/bound-t/.
5. th IEEE Real-Time Systems Symposium (RTSS 2006), Rio de Janeiro, Brazil (2006)
6. nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), Paphos, Cyprus (2006)
7. th Euromicro Conference of Real-Time Systems, (ECRTS05), Mallorca, Spain (2005)
8. nd IEEE Workshop on Future Embedded and Ubiquitious Systems. (2005) 7-10
9. Lee, J.I., Park, S.H., Bang, H.J., Kim, T.H., Cha, S.D.: A hybrid framework of worst-case execution time analysis for real-time embedded system software. In: Aerospace Conference, IEEE (2005) 1-10
10. Bernat, G., Colin, A., Petters, S.: pWCET, a Tool for Probabilistic WCET Analysis of Real-Time Systems. In: WCET. (2003) 21-38
11. Ji, M.L., Wang, J., Li, S., Qi, Z.C.: Automated wcet analysis based on program modes. In: Proc. of AST'06, Shanghai, China, ACM (2006)
12. th IEEE RTCSA conference (2006) 257-260
13. Quantum-Leaps: (Quantum leaps glossary) http://www.quantum-leaps.com/ resources/glossary.htm (Last Accessed 2007-04-04).
14. Lundbäck, K.L., Lundbäck, J., Lindberg, M.: Component-based development of dependable real-time applications (2003)
15. Sandström, K., Fredriksson, J., Åkerholm, M.: Introducing a component technology for safety critical embedded real-time systems. In: Proc. of the CBSE7 International Symposium on Component-based Software Engineering, IEEE (2004)
16. Åkerholm, M., Carlson, J., Fredriksson, J., Hansson, H., Håkansson, J., Möller, A., Pettersson, P., Tivoli, M.: The save approach to component-based development of vehicular systems. The Journal of Systems and Software (2006)
17. th ECOOP. (2002)
18. Kodase, S., Wang, S., Shin, K.G.: Transforming structural model to runtime model of embedded software with real-time constraints. In: Proc. of the Design, Automation and Test in Europe Conference and Exhibition, IEEE (1995) 170-175
19. th International Symposium on Component-Based Software Engineering (CBSE8). (2005)
20. th Euromicro Conference on Digital Systems Design, DSD, IEEE (2006) 3-7
21. th IEEE International Symposium on Object-oriented Real-time distributed Computing. (2005) 190-199
22. Whittaker, J.A., Poore, J.H.: Markov analysis of software specifications. ACM Trans. Softw. Eng. Methodol 2 (1993) 93-106
23. Musa, J.D.: Operational profiles in software-reliability engineering. IEEE Software 10 (1993) 14-32