Integration of time issues into component-based applications

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

Volumn 4608 LNCS, Issue , 2007, Pages 173-188

  Saudrais, Sébastien ^a   Plouzeau, Noël ^a   Barais, Olivier ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER SOFTWARE;

BEHAVIOUR DESCRIPTION; DESIGN PROCESSES;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 38149028452     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73551-9_12     Document Type: Conference Paper

References (29)

1. MARTE UML profile RFP. voted at OMG. http://www.omg.org/cgi-bin/doc? realtime/2 005-02-06
2. Webpage of the OMEGA 1ST project. http://www- omega.imag.fr /
3. Aagedal, J.O.: Quality of Service Support in Development of Distributed Systems. PhD thesis, Department for Informatics, University of Oslo (June 2001)
4. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Information and Computation 104(1), 2-34 (1993)
5. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sei. 126(2), 183-235 (1994)
6. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in bip. In: SEFM '06. Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, Washington, DC, pp. 3-12. IEEE Computer Society Press, Los Alamitos (2006)
7. Beugnard, A., Jézéquel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware. Computer 32(7), 38-45 (1999)
8. Bollella, G., Gosling, J.: The real-time specification for java. Computer 33(6), 47-54 (2000)
9. Bouyer, P.: Untameable timed automata! In: Alt, H., Habib, M. (eds.) STACS 2003. LNCS, vol. 2607, pp. 620-631. Springer, Heidelberg (2003)
10. Bouyer, P., Petit, A.: Decomposition and composition of timed automata. In: Wiedermann, J., van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol. 1644, pp. 210-219. Springer, Heidelberg (1999)
11. Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos: A modelchecking tool for real-time systems. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol. 1427, Springer, Heidelberg (1998)
12. Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.-B.: An open component model and its support in java. In: Crnkovic, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 7-22. Springer, Heidelberg (2004)
13. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244-263 (1986)
14. Graf, S., Ober, I.: A real-time profile for UML and how to adapt it to SDL. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, Springer, Heidelberg (2003)
15. Graf, S., Ober, I.: How useful is the UML real-time profile SPT without semantics. In: SIVOES 2004, associated with RTAS 2004, Toronto Canada (submitted for publication) (April 2004)
16. Henzinger, T.A., Kirsch, C.M., Horowitz, B.: Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE 91(1), 84-99 (2003)
17. Kalibera, T., Tuma, P.: Distributed component system based on architecture description: The sofa experience. In: Meersman, R., Tari, Z. et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 981-994. Springer, Heidelberg (2002)
18. Klein, J., Hélouét, L., Jézéquel, J.M.: Semantic-based weaving of scenarios. In: Proceedings of the 5th international conference on Aspect-oriented software development, pp. 27-38 (2006)
19. Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Inverardi, P., Jazayeri, M. (eds.) ICSE 2005. LNCS, vol. 4309, pp. 372-381. Springer, Heidelberg (2006)
20. Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer 1(1-2), 134-152 (1997)
21. Lynch, N.A., Tuttle, M.R.: An introduction to input/output automata. CWI Quarterly 2(3), 219-246 (1989)
22. Magee, J.: Behavioral analysis of software architectures using ltsa. In: Proceedings of the 21st international conference on Software engineering, pp. 634-637. IEEE Computer Society Press, Los Alamitos (1999)
23. Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26, 23 (2000)
24. Meyer, B.: Applying design by contract. Computer 25(10) (October 1992)
25. Object Management Group OMG. UML Profile for Schedulability, Performance, and Time Specification, Version 1.1. (January 2005)
26. As-2 Embedded Computing Systems Committee SAE. Architecture Analysis & Design Language (AADL). SAE Standards no AS5506 (November 2004)
27. Saudrais, S., Barais, O., Duchien, L.: Using model-driven engineering to generate qos monitors from a formal specification, edocw 0, 45 (2006)
28. Tesanovic, A.: Aspects and components in real-time system development: Towards reconfigurable and reusable software. Journal of Embedded Computing 1(1), 17-37 (2005)
29. Vestal, S.: Fixed-priority sensitivity analysis for linear compute time models. IEEE Transactions on Software Engineering 20(4) (1994)