A Model-Based Framework for Developing Real-Time Safety Ada Systems
暂无分享,去创建一个
[1] Douglas C. Schmidt,et al. Model-Driven Engineering , 2006 .
[2] Erhard Plödereder,et al. Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 , 2007, Lecture Notes in Computer Science.
[3] Stuart Kent,et al. Model Driven Engineering , 2002, IFM.
[4] Douglas C. Schmidt,et al. Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.
[5] Miguel A. de Miguel,et al. Model-based development for RTSJ platforms , 2012, JTRES '12.
[6] Emilio Salazar,et al. Design of On-Board Software for an Experimental Satellite ∗ , 2013 .
[7] Jérôme Hugues,et al. The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software. , 2010 .
[8] Fabrice Kordon,et al. Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings , 2007, Ada-Europe.
[9] Alan Burns,et al. Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.
[10] Alan Burns,et al. The Ravenscar Tasking Profile for High Integrity Real-Time Programs , 1998, Ada-Europe.
[11] Alfred Strohmeier,et al. Reliable Software Technologies — Ada-Europe 2003 , 2003, Lecture Notes in Computer Science.
[12] Tullio Vardanega,et al. Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings , 2008, Ada-Europe.
[13] Tullio Vardanega,et al. Ada 2005 code patterns for metamodel-based code generation , 2007 .
[14] Tullio Vardanega,et al. A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis , 2007, Ada-Europe.
[15] Irfan Hamid,et al. Operational Semantics of Ada Ravenscar , 2008, Ada-Europe.
[16] J. Javier Gutiérrez,et al. MAST: Modeling and analysis suite for real time applications , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.
[17] Laurent Pautet,et al. From the prototype to the final embedded system using the Ocarina AADL tool suite , 2008, TECS.
[18] David Harel,et al. Rhapsody: A Complete Life-Cycle Model-Based Development System , 2002, IFM.
[19] Tullio Vardanega,et al. An MDE methodology for the development of high-integrity real-time systems , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.
[20] Tullio Vardanega,et al. Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach , 2007, Ada-Europe.