Model-Driven Design of Real-Time Software for an Experimental Satellite
暂无分享,去创建一个
[1] Christopher J. Damaren,et al. Spacecraft Dynamics and Control: An Introduction , 2013 .
[2] Douglas C. Schmidt,et al. Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.
[3] Julien Delange,et al. TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future , 2011, SDL Forum.
[4] J. Javier Gutiérrez,et al. MAST: Modeling and analysis suite for real time applications , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.
[5] Jorge Garrido Balaguer,et al. Analysis of WCET in an experimental satellite software development. , 2012, WCET 2012.
[6] 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.
[7] Hisashi Kobayashi,et al. Modeling and analysis , 1978 .
[8] José A. Pulido,et al. The ASSERT Virtual Machine: A Predictable Platform for Real-Time Systems ? , 2008 .
[9] J. Javier Gutiérrez,et al. MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.
[10] Marcel J. Sidi,et al. Spacecraft Dynamics and Control: A Practical Engineering Approach , 1997 .
[11] Thanassis Tsiodras,et al. An ASN . 1 compiler 1 for embedded / space systems , 2011 .
[12] Alan Burns,et al. Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.
[13] P. T. Barry,et al. Abstract syntax notation-one (ASN.1) , 1992 .
[14] Pedro Albertos,et al. Feedback and Control for Everyone , 2010 .
[15] Douglas C. Schmidt,et al. Model-Driven Engineering , 2006 .
[16] Stuart Kent,et al. Model Driven Engineering , 2002, IFM.
[17] Alan Burns,et al. Probabilistic timing analysis: An approach using copulas , 2005, J. Embed. Comput..