Dependability oriented avionics embedded software development framework
-
摘要: 针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.Abstract: A systematic methodology was provided to facilitate the development of dependable embedded avionics software. The dependability primarily denotes to reliability, security and real-time. The dependability attribute model was defined to derive the key aspects to be specified in the stages of analysis and design. A V-model extended process model was proposed to support the co-modeling of system and software. At last, the dependability oriented development methodology was proposed. It consists of model-based requirement analysis, component-based design and system configuration and integration. During the design of the development framework, the characteristics were considered that software tasks embedded in a common integrated platform have to use the resources in a competitive and sharing way due to the limitation of resources. The effects of these characteristics on the reliability, security and real-time are also included in the design.
-
[1] Horvaáth A,Varroó D,Schoofs T.Model-driven development of ARINC 653 configuration tables //Chris Watkins.Proc of Digital Avionics Systems Conference(DASC).Salt Lake City:IEEE,2010:5.A.5-1-5.A.5-115 [2] Yue,T,Briand L C,Labiche Y.A systematic review of transformation approaches between user requirements and analysis models[J].Requirements Engineering,2011,16(2):75-99 [3] Yue,T,Briand L C,Labiche Y.Model driven engineering languages and systems[M].Heidelberg:Springer,2009:484-498 [4] Yue,T,Briand L C,Labiche Y.Automatically deriving a UML analysis model from a use case model[M].Ottawa:Carleton University,2010 [5] Josko B,Ma Q,Metzner A.Designing embedded systems using heterogeneous rich components //Schreinemakers P.Proc of INCOSE Inter Symp.Utrecht:Springer,2008:247-258 [6] Waignier G,Meur A F,Duchien L.Architectural specification and static analyses of contractual application properties[M].Heidelberg:Springer,2008:152-170 [7] Luca de Alfaro,Mariёlle Stoelinga.Interfaces:a game-theoretic framework for reasoning about component-based systems[J].Electronic Notes in Theoretical Computer Science,2004,97(22):3-23 [8] Alexandre D,Larsen Kim G.Timed I/O automata:a complete specification theory for real-time systems //Proc of the 13th ACM Inter Conf on Hybrid Systems:Computation and Control.New York:ACM,2010:91-100 [9] Nicola R D,Segala R.A process algebraic view of input/output automata[J].Theoretical Computer Science,1995,138:391-423 [10] Hamadi R,Benatallah B.A petri net-based model for web service composition //Proc of the 14th Australasian Database Conference.Darlinghurst:ACM,2003:191-200 -
点击查看大图
计量
- 文章访问数: 1482
- HTML全文浏览量: 182
- PDF下载量: 651
- 被引次数: 0
下载:
