A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets-Reference-Cited by-同舟云学术

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets

Published: Issue: Volume: Page:87-100
ISSN:
Container-title:Reliable Software Technologies – Ada-Europe 2008
language:
Short-container-title:

Author:

Carnevali Laura,Grassi Leonardo,Vicario Enrico

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68624-8_7.pdf

Reference22 articles.

1. RTCA (Radio Technical Commission for Aeronautics). Do-178b, software considerations in airborne systems and equipment certification, http://www.rtca.org/

2. Lecture Notes in Computer Science;A. Hessel,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. Lecture Notes in Computer Science;M. Krichen,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)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2016

2. Slicing the V-Model -- Reduced Effort, Higher Flexibility;2013 IEEE 8th International Conference on Global Software Engineering;2013-08

3. A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems;IEEE Transactions on Software Engineering;2013-03

4. Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle;IEEE Transactions on Software Engineering;2011-11

5. Oris: a tool for modeling, verification and evaluation of real-time systems;International Journal on Software Tools for Technology Transfer;2010-05-09