• Aucun résultat trouvé

Model-Based Software Development – Perspectives and Challenges

N/A
N/A
Protected

Academic year: 2022

Partager "Model-Based Software Development – Perspectives and Challenges"

Copied!
1
0
0

Texte intégral

(1)

KEYNOTE:

MODEL-BASED SOFTWARE DEVELOPMENT – PERSPECTIVES AND CHALLENGES

Bernd-Holger Schlingloff

Humboldt University

Kekul´estr. 7, 12489 Berlin, Germany

ABSTRACT

Model-based software development and testing has turned out to be the method of choice for safety-critical em- bedded systems. An abstract model reflects requirements and environmental conditions for the system. Such a model can be used in two ways—as a development model in a stepwise refinement process to derive the actual implementation, or as a testing model in order to derive test cases for some system under test. In this talk we discuss commonalities and differences between development models and testing models, discuss the formalization of requirements in models, and show how to automatically evaluate observations about a system with respect to a model. We illustrate our ideas with examples from aerospace, automation and medical devices. Finally, we discuss some recent trends and challenges in the area of model-based development and testing.

Références

Documents relatifs

The service is performed in two major steps, which are the translation of the SysML model to obtain the AltaRica DF description of the functional view of the system, and

The tool used in our technology must support convenient implementation of components, preferably visual specification of software models and automatic code generation from a model.

Abstract Injectable hyaluronic acid (HA) derivatives are the most used resorbable dermal fillers used for soft tissue aug- mentation.. While their use is considered safe, there

Brau, Thermal building simulation and computer generation of nodal models, Building and Environment 1996;31(3):207-214. Mara, Building ventilation : a pressure airflow model computer

Composite component classes differ from primitive components in that their implementation is not defined by a single class but by an embedded architecture configura- tion, i.e., a

Since each customer has its own dedicated development process, it has therefore specific requirements for development cooperation with suppliers. On the other hand, suppliers

Its head and neck lie more palmar to the bone ’s corpus (Fig. 4), and the head’s dorsal articular surface blends distally into a broad dorsal de- pression that accommodates the

Various authors ([11,12,13]) group the processes proposed in each model under four stages; namely the stages of creation, storage, dissemination and utilization with