loading...
Search-based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development
Guadalajara, Mexico January 15-January 17
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1218073Eighth IEEE International Workshop on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Hans-Gerhard Gross, Software Engineering, Sauerwiesen 6
Nikolas Mayer, Software Engineering, Sauerwiesen 6
Execution time analysis is an essential verification activity during real-time system construction. This activity can be performed dynamically through search-based analysis techniques such as evolutionary algorithms. Evolutionary algorithms have already been successfully used for execution-time analysis under the traditional procedural development paradigm. This paper describes a first attempt in making search-based execution-time analysis techniques also applicable under the more recent object-oriented and component-based software development paradigms. Here, their application is more difficult compared with the traditional procedural development approaches because object-based architectures are inherently encapsulated, and they often represent state machines. This work proposes a solution that makes search techniques applicable in real-time system development with object technology. It is based on inbuilt testing artefacts and on the execution and optimisation of an object?s invocation history through a genetic algorithm. We demonstrate the applicability of the technique through a simple object-oriented real-time system.
Citation:
Hans-Gerhard Gross, Nikolas Mayer, "Search-based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development," words, pp.113, Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.