Model-based robustness testing for avionics-embedded software
نویسندگان
چکیده
منابع مشابه
Robustness analysis of avionics embedded systems
Avionics embedded systems are confronted to sensors errors or inaccuracies. It is essential to be able to estimate the impact and the propagation of these errors on the system computed outputs. This paper comes from achieved work in the context of an industrial project in the avionics area. It presents a formal approach allowing to analyse the reaction of a LUSTRE program to inaccurate input va...
متن کاملRobustness testing for software components
Component-based development allows to build software from existing components and promises to improve software reuse and reduce costs. For critical applications, the user of a component must ensure that it fits the requirements of the application. To achieve this, testing is a wellsuited means when the source code of the components is not available. Robustness testing is a testing methodology t...
متن کاملModel Based Testing Applied to In-house Embedded Software Development
The use of electronics in automobiles has increased over time. Today, the vehicle is a complex network of systems made by electronic control units, with different purpose. To manage this complex Software Systems Engineering task, Fiat Group Automobiles (FGA) formed a Software Factory Team within the Electronics Architecture Group. The team goal is to design, develop and test Software Component ...
متن کاملA Framework for Model-based Testing of Integrated Modular Avionics
In modern aircraft, electronics and control systems are designed based on the Integrated Modular Avionics (IMA) system architecture. While this has numerous advantages (reduction of weight, reduced power and fuel consumption, reduction of development cost and certification effort), the IMA platform also adds an additional layer of complexity. Due to the safety-critical nature of many avionics f...
متن کاملSystematic Model-Based Testing of Embedded Automotive Software
The software embedded in automotive control systems increasingly determines the functionality and properties of present-day motor vehicles. The development and test process of the systems and the embedded software becomes the limiting factor. While these challenges, on the development side, are met by employing model-based specification, design, and implementation techniques, satisfactory solut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chinese Journal of Aeronautics
سال: 2013
ISSN: 1000-9361
DOI: 10.1016/j.cja.2013.05.004