In: 1st International Workshop on Model-Driven Devel- opment Processes and Practices co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), vol. 1249 (2014, September)Hovsepyan A, Landuyt D V, Beeck S, Michiels S, Joosen ...
In this paper, we propose to study the development of a safety framework that bridges the gap between safety developments and safety validations using a set of different but related models. Our proposed framework, among other things, includes a collection of models capturing both the behavioral ...
The model driven architecture (MDA) is an approach to software engineering in which models are systematically developed and transformed into code. This paper discusses some of the issues which would need to be overcome when attempting to certify a safety critical design or software developed with th...
Learn how Jama Connect Traceable MBSE™ solution provides a path to companies embracing MBSE where the application of collaboration, modeling, and methods reduces time and effort across the product development lifecycle. • Designing a system using models enables early visualization and simulation, im...
Secondly, we show how the design model can be modularly extended with fault models that represent random faults (e.g. radiation) leading to bit flips in the component under design (resembling FMEA), and transient or permanent faults in the rest of the environment (corrupting inputs to the ...
software safety,and then gave a definition of it.Measuring models of software safety were then discussed.The paper focused on the state-of-the-art of software safety from a software engineering perspective about development processes,designed alternatives,assessment techniques and certification methods....
Synthesis of real-time implementations from component-based software models Component-based software development is an effective technique for tackling the increasing complexity of large-scale embedded software systems. After build... Z Gu,KG Shin - IEEE International Real-time Systems Symposium 被引量...
The Models are the Single Source of Truth The integration between Ansys safety analysis and software design tools is highly automated, bringing efficiency and digital continuity to the process. In the approach described, the organizational silos between...
sunnypilot is a fork of comma.ai's openpilot, an open source driver assistance system. sunnypilot offers the user a unique driving experience for over 260 supported car makes and models with modified behaviors of driving assist engagements. sunnypilot co
Parnas, D.L.: Using mathematical models in the inspection of critical software. In: Hinchey, M.G., Bowen, J.P. (eds.) Applications of Formal Methods, International Series in Computer Science, chapter 2, pp. 17–31. Prentice Hall, Englewood Cliffs, NJ (1995) Parnas, D.L., Clements,...