Modular verification of reconfigurable components

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

Volumn 3778 LNCS, Issue , 2005, Pages 59-81

  Tešanović, Aleksandra ^a   Nadjm Tehrani, Simin ^a   Hansson, Jörgen ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTOMATA THEORY; VERIFICATION;

ASPECT WEAVING; MODULAR VERIFICATION; RECONFIGURABLE COMPONENTS; RECONFIGURABLE REAL TIME COMPONENTS;

REAL TIME SYSTEMS;

EID: 37149051475     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11591962_4     Document Type: Article

References (24)

1. Stankovic, J.: VEST: a toolset for constructing and analyzing component based operating systems for embedded and real-time systems. In: Proceedings of the Embedded Software, First International Workshop (EMSOFT 2001). Volume 2211 of Lecture Notes in Computer Science., Tahoe City, CA, USA, Springer-Verlag (2001) 390-402
2. Szyperski, C.: Component Software - Beyond Object-Oriented Programming. AddisonWesley (1999)
3. Kiczales, G., Lamping, J., Mendhekar, A., Maeda,C.,Lopes,C.,Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Proceedings of the ECOOP. Volume 1241 of Lecture Notes in Computer Science., Springer-Verlag (1997) 220-242
4. Tešanović, A., Nyström, D., Hansson, J., Norström, C.: Towards aspectual component-based real-time systems development. In: Proceedings of the 9th International Conference on RealTime and Embedded Computing Systems and Applications (RTCSA'03). Volume 2968 of Lecture Notes in Computer Science., Springer-Verlag (2003)
5. Tešanović, A., Nyström, D., Hansson, J., Norström, C.: Aspects and components in real-time system development: Towards reconfigurable and reusable software. Journal of Embedded Computing (2004)
6. Pichler, R., Ostermann, K., Mezini, M.: On aspectualizing component models. Software Practice and Experience 33 (2003) 957-974
7. Tešanović, A.: Towards aspectual component-based real-time system development. Technical report, Department of Computer Science, Linköping University (2003) Licentiate Thesis, ISBN 91-7373-681-3.
8. Li, H., Krishnamuithi, S., Fisler, K.: Interfaces for modular feature verification. In: Proceedings of the International Conference on Automated Software Engineering, IEEE Computer Society Press (2002)
9. Li, H., Krishnamurthi, S., Fisler, K.: Verifying cross-cutting features as open systems. In: Proceedings of the ACM SIGSOFT Conference on Foundations of Software Engineering, ACM Press (2002)
10. Nyström, D., Tešanović, A., Norström, C., Hansson, J., Bånkestad, N.E.: Data management issues in vehicle control systems: a case study. In: Proceedings of the 14th Euromicro International Conference on Real-Time Systems, Vienna, Austria (2002)
11. Coady, Y., Kiczales, G., Feeley, M., Smolyn, G.: Using AspectC to improve the modularity of path-specific customization in operating system code. In: Proceedings of the Joint European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-9). (2002)
12. Spinczyk, O., Gal, A., Schröder-Preikschat, W: AspectC++: an aspect-oriented extension to C++. In: Proceedings of the 40th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific 2002), Sydney, Australia, Australian Computer Society (2002)
13. Xerox Corporation: The Aspect J Programming Guide. (2002) Available at: http://aspectj.org/doc/dist/progguide/index.html.
14. Nyström, D., Tešanović, A., Nolin, M., Norström,C.,Hansson, J.: COMET: A componentbased real-time database for automotive systems. In: Proceedings of the Workshop on Software Engineering for Automotive Systems at 26th International Conference on Software engineering (ICSE'04), Edinburgh, Scotland, IEEE Computer Society Press (2004)
15. Alur, R., Courcoubetis,C.,Dill, D.: Model checking for real-time systems. In: Proceedings of the 5th IEEE International Symposium on Logic in Computer Science, Philadelphia, IEEE Computer Scoiety Press (1990)
16. Henzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. In: Proceedings of the 7th. Symposium of Logics in Computer Science, IEEE Computer Society Press (1992) 394-406
17. Bengtsson, J., Yi, W: Timed Automata: Semantics, Algorithms and Tools. In: Concurrency and Petri Nets. Volume 3098 of Lecture Notes in Computer Science. Springer-Verlag (2004)
18. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126 (1994) 183-235
19. Uppaal tool, (http://www.uppaal.com)
20. Kronos tool. (http://www-verimag.imag.fr/TEMPORISE/kronos/)
21. Sipma, H.: A formal model for cross-cutting modular transition systems. In: In Proceedings of the Workshop on Foundations of Aspect-Oriented Languages (FOAL 2003), Boston, USA (2003)
22. Krishnamurthi, S., Fisler, K., Greenberg, M.: Verifying aspect advice modularity. In: Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering, ACM Press (2004)
23. Alur, R.: Timed automata. In Halbwachs, N., Peled, D., eds.: Proceedings of the CAV'99. Volume 1633 of Lecture Notes in Computer Science., Springer Verlag (1999) 8-22
24. Larsen, K., Pettersson, P., Yi, W: Compositional and symbolic model-checking of real-time systems. In: Proceedings of the 16th IEEE Real-Time Systems Symposium, Pisa, Italy, IEEE Computer Society Press (1995)