loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03)
Search-based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development
Guadalajara, Mexico
January 15-January 17
ISBN: 0-7695-1929-6
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.