Author:
Paige Richard F.,Rose Louis M.,Ge Xiaocheng,Kolovos Dimitrios S.,Brooke Phillip J.
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Conmy, P., Paige, R.: Challenges when using Model-Driven Architecture in the development of safety critical software. In: Proceedings of 4th Workshop on Model-Based Methodologies for Pervasive and Embedded Software. IEEE Computer Society Press, Los Alamitos (2007)
2. Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621–646 (2006)
3. Efftinge, S.: xText reference document (2007),
www.eclipse.org/gmt/oaw
4. Fenelon, P., McDermid, J.A.: An integrated toolset for software safety analysis. The Journal of Systems and Software 21(3), 279–290 (1993)
5. Lecture Notes in Computer Science;L. Grunske,2006
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Airborne Software FMEA Application Method Based on ARP4761;Proceedings of the 2019 3rd International Conference on Management Engineering, Software Engineering and Service Sciences - ICMSS 2019;2019
2. Automated Fault Tree Analysis from AADL Models;ACM SIGAda Ada Letters;2017-05-10
3. Model-based dependability analysis;Software Quality Assurance;2016
4. Architecture Fault Modeling with the AADL Error-Model Annex;2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications;2014-08
5. Graphical Modeling of System Failure Behavior and its Translating into Altarica;Procedia Engineering;2014