Add to ORKGIn this paper we discuss the separation between at-tributes on functionality and on structure following an ap-proach based on Model Driven Engineering (MDE). We adopt a methodological approach based on correctness-by-construction for modeling high-integrity real-time em-bedded systems. We illustrate how this separation is im-plemented by a prototype, recently realized by our re-search team. Software reuse is incremented by using the prototype. This has been confirmed by the evaluation of two teams from major European space industry. We con-clude our work by discussing some open problems.
Distributed Real-Time Embedded (DRE) systems have critical requirements that need to be verified. Th...
The life cycle of a complex system is a process involving a large amount of elements to be defined, ...
While the demand for high-integrity applications continues to rise, industrial developers seek cost ...
Model-Based Engineering (MDE) aims to improve productivity by increasing the re-turn which companies...
Current trends in software engineering promote the contention that the use of model-driven approache...
International audienceThe definition and construction of complex computer-based systems require not ...
This paper reports on experience gained and lessons learned from an intensive investigation of model...
Abstract—This paper reports on experience gained and lessons learned from an intensive investigation...
Model Driven Engineering (MDE) is an approach in software engineering that promotes the use of model...
The advent of formal modeling languages (e.g., UML and SysML) and system architecture frameworks (e....
As many of us already depend on computer systems to lead our lives to a standard we find acceptable,...
Abstract. Model-driven development (MDD) is the construction of soft-ware systems using formal or se...
As technology advances, so does the complexity of engineering projects. Systems en- gineering has ev...
As many of us already depend on computer systems to lead our lives to a standard we find acceptable,...
The effectiveness of model-driven engineering relies on our ability to build high-quality models. Th...
Distributed Real-Time Embedded (DRE) systems have critical requirements that need to be verified. Th...
The life cycle of a complex system is a process involving a large amount of elements to be defined, ...
While the demand for high-integrity applications continues to rise, industrial developers seek cost ...
Model-Based Engineering (MDE) aims to improve productivity by increasing the re-turn which companies...
Current trends in software engineering promote the contention that the use of model-driven approache...
International audienceThe definition and construction of complex computer-based systems require not ...
This paper reports on experience gained and lessons learned from an intensive investigation of model...
Abstract—This paper reports on experience gained and lessons learned from an intensive investigation...
Model Driven Engineering (MDE) is an approach in software engineering that promotes the use of model...
The advent of formal modeling languages (e.g., UML and SysML) and system architecture frameworks (e....
As many of us already depend on computer systems to lead our lives to a standard we find acceptable,...
Abstract. Model-driven development (MDD) is the construction of soft-ware systems using formal or se...
As technology advances, so does the complexity of engineering projects. Systems en- gineering has ev...
As many of us already depend on computer systems to lead our lives to a standard we find acceptable,...
The effectiveness of model-driven engineering relies on our ability to build high-quality models. Th...
Distributed Real-Time Embedded (DRE) systems have critical requirements that need to be verified. Th...
The life cycle of a complex system is a process involving a large amount of elements to be defined, ...
While the demand for high-integrity applications continues to rise, industrial developers seek cost ...