A tailored V-Model exploiting the theory of preemptive time petri nets

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

Volumn 5026 LNCS, Issue , 2008, Pages 87-100

  Carnevali, Laura ^a   Grassi, Leonardo ^a   Vicario, Enrico ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Concurrent real time systems; Formal methods; preemptive Time Petri Nets; State space analysis; V Model

Indexed keywords

(E ,2E) THEORY; DESIGN ACTIVITIES; DESIGN VALIDATION (DV); HEIDELBERG (CO); INTEGRATION TESTING; INTERNATIONAL CONFERENCES; LIFE CYCLE (LC); PREEMPTIVE TIME PETRI NETS; PREEMPTIVE TIME PETRI NETS (PTPN); REAL TIME; REAL-TIME OPERATING-SYSTEM (RTOS); SOFTWARE TECHNOLOGIES; SPRINGER (CO); STATE SPACES; STATE-SPACE ANALYSIS; TEST CASE SELECTION; V MODEL; VERIFICATION ACTIVITIES;

ADA (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE SELECTION AND EVALUATION; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; PROGRAMMING THEORY; STATE SPACE METHODS; TECHNOLOGY; TESTING;

COMPUTER SOFTWARE;

EID: 45849117635     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68624-8_7     Document Type: Conference Paper

References (22)

1. RTCA (Radio Technical Commission for Aeronautics). Do-178b, software considerations in airborne systems and equipment certification, http://www.rtca.org/
2. Hessel, A., Larsen, K., Nielsen, B., Pettersson, P., Skou, A.: Time-Optimal RealTime Test Case Generation Using Uppaal. In: Petrenko. A., Ulrich. A. (eds.) FATES 2003. LNCS. vol. 2931. pp. 114-130. Springer, Heidelberg (2004)
3. Larsen, K., Mikucionis, M., Nielsen, B.: Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. Perspectives of Model-Based Testing (2005)
4. Krichen, M., Tripakis. S.: Black-Box Conformance Testing for Real-Time Systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 109-126. Springer, Heidelberg (2004)
5. Bucci, G., Fedeli, A., Sassoli. L.,Vicario, E.: Timed state space analysis of real time preemptive systems. IEEE Trans.on Soft.Eng. 30(2), 97-111 (2004)
6. Roux, O.H., Lime, D.: Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 371-390. Springer. Heidelberg (2004)
7. Larsen, K.G., Cassez, F.: The Impressive Power of Stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877. Springer, Heidelberg (2000)
8. Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Modeling flexible real time systems with preemptive time petri nets. In: Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003) (2003)
9. Buttazzo, G.: Hard Real-Time Computing Systems. Springer, Heidelberg (2005)
10. Merlin, P., Farber, D.J.: Recoverability of communication protocols. IEEE Trans.on Communications 24(9) (1976)
11. Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time petri nets. IEEE Trans. on Soft. Eng. 17(3) (1991)
12. Penczek, W., Półrola, A.: Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 37-76. Springer, Heidelberg (2004)
13. Berthomieu, B., Menasche, M.: An enumerative approach for analyzing time Petri nets. In: Information Processing: proc. of the IFIP congress, vol. 9, pp. 41-46 (1983)
14. Vicario, E.: Static analysis and dynamic steering of time dependent systems using time petri nets. IEEE Trans. on Soft. Eng. (2001)
15. Berthomieu, B., Lime, D., Roux, O.H., Vernadat, F.: Reachability problems and abstract state spaces for time petri nets with stopwatches. LAAS Report (2004)
16. rd Int. Conf. on the Quant. Evaluation of Sys. (QEST) (2006)
17. CENELEC-prEN50128: Railway applications: Sw for railway control and protection systems (1997)
18. Jard, C. Jéron, T.: Tgv: theory, principles and algorithms, a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfer (STTT) 6 (2004)
19. Carnevali, L., Sassoli, L., Vicario, E.: Sensitization of symbolic runs in real-time testing using the oris tool. In: Proc. of the 12th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) (2007)
20. Carnevali, L., Sassoli, L., Vicario, E.: Casting preemptive time petri nets in the development life cycle of real-time software. In: Proc. of the 19-th Euromicro Conference on Real-Time Systems (ECRTS) (2007)
21. IEC 62304 International Standard Edition 1.0 Medical device software - Software life cycle processes (2006)
22. Developing Standard for IT Systems of the Federal Republic of Germany. Lifecycle Process Model General Directive No. 250. (1997)