Automatic Model Generation for Black Box Real-Time Systems

2007 ◽  
Author(s):  
Thomas Huining Feng ◽  
Lynn Wang ◽  
Wei Zheng ◽  
Sri Kanajan ◽  
Sanjit A. Seshia
Keyword(s):  
Real Time ◽  
Black Box ◽  
Model Generation ◽  
Real Time Systems ◽  
Automatic Model Generation ◽  
Time Systems

scholarly journals Conformance Testing of Preemptive Real-Time Systems

2013 ◽  
Vol 4 (4) ◽  
pp. 1-26 ◽  
Author(s):  
Noureddine Adjir ◽  
Pierre de Saqui-Sannes ◽  
Kamel Mustapha Rahmouni
Keyword(s):  
Real Time ◽  
Test Generation ◽  
Conformance Testing ◽  
Black Box ◽  
Online Testing ◽  
Test Results ◽  
Real Time Systems ◽  
Test Specification ◽  
Partially Observable ◽  
Time Systems

The paper presents an approach for model-based black-box conformance testing of preemptive real-time systems using Labeled Prioritized Time Petri Nets with Stopwatches (LPrSwTPN). These models not only specify system/environment interactions and time constraints. They further enable modelling of suspend/resume operations in real-time systems. The test specification used to generate test primitives, to check the correctness of system responses and to draw test verdicts is an LPrSwTPN made up of two concurrent sub-nets that respectively specify the system under test and its environment. The algorithms used in the TINA model analyzer have been extended to support concurrent composed subnets. Relativized stopwatch timed input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Assuming the modelled systems are non deterministic and partially observable, the paper proposes a test generation and execution algorithm which is based on symbolic techniques and implements an online testing policy and outputs test results for the (part of the) selected environment.

Software Engineering for Real Time Systems

IEE Review ◽  
1992 ◽  
Vol 38 (3) ◽  
pp. 112
Author(s):  
Stuart Bennett
Keyword(s):  
Software Engineering ◽  
Real Time ◽  
Real Time Systems ◽  
Time Systems

Generic Round Robin Scheduling for Real Time Systems

2017 ◽  
Vol 7 (5) ◽  
pp. 148-155
Author(s):  
Pallab Banerjee ◽  
◽  
Riya Shree ◽  
Richa Kumari Verma ◽  
◽  
...  
Keyword(s):  
Real Time ◽  
Round Robin ◽  
Real Time Systems ◽  
Time Systems

Elastic scheduling in real-time systems

2013 ◽  
Vol 32 (2) ◽  
pp. 573-577
Author(s):  
Zhi-bang YANG ◽  
Cheng XU ◽  
Xu ZHOU ◽  
Xue-qing ZHU
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems ◽  
Elastic Scheduling
Sign in / Sign up

Export Citation Format

Share Document