Towards Model-Based Optimisations of Real-Time Systems, an Application with the AADL
暂无分享,去创建一个
[1] Douglas C. Schmidt,et al. Physical Assembly Mapper: A Model-Driven Optimization Tool for QoS-Enabled Component Middleware , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.
[2] Jérôme Hugues,et al. Applying WCET Analysis at Architectural Level , 2008, WCET.
[3] Peter H. Feiler,et al. On Resource Allocation in Architectural Models , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[4] Peter H. Feiler,et al. The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .
[5] Tullio Vardanega,et al. On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels , 2004, Real-Time Systems.
[6] Laurent Pautet,et al. Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications , 2009, Ada-Europe.
[7] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[8] Alan Burns,et al. Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.