Add to ORKGThis paper presents a metamodel, called RPM, which is proposed to systematize and encompass many models of computation. RPM is based on the decomposition of a computational system model into its requirements, primitives and models of computation. A taxonomy for telecom computational systems is proposed and related to the RPM metamodel. The goal of the paper is to pave the way for a codesign CAD system with heterogeneous specification. Such systemic specification is to be mapped into one or more homogeneous descriptions. 1
Modeling and analysis of Cyber-Physical Systems (CPS) is an inherently multi-disciplinary endeavour....
Abstract. Traditional requirements engineering approaches give little emphasis on the engineering of...
The paper presents the issue of metamodeling of Domain-Specific Languages (DSL) for the purpose of d...
International audienceThe prototyping of embedded systems being long and expensive, software models ...
The main aim of this chapter is to present and discuss a set of modeling and specification technique...
Activities for the comprehension and development \ of Cyber-Physical Systems (CPS) include analysis ...
International audienceIn the context of Model Driven Engineering, models are the primary artifacts o...
Associated research group: Critical Systems Research GroupIn a cyber-physical system (a system where...
This paper proposes a requirement and concept model based on a functional decomposition of mechanica...
A general-purpose method to mechanically transform system requirements into a provably equivalent mo...
The increasing complexity of cyber-physical systems (CPSs) makes their design, development and opera...
This open access book coherently gathers well-founded information on the fundamentals of and formali...
Executable specifications are computer algorithms written in an appropriate specification language w...
International audienceThe design of Cyber-Physical systems (CPS) demands to combine discrete models ...
Cyber-physical systems are complex trans-disciplinary systems. Designing this kind of systems requir...
Modeling and analysis of Cyber-Physical Systems (CPS) is an inherently multi-disciplinary endeavour....
Abstract. Traditional requirements engineering approaches give little emphasis on the engineering of...
The paper presents the issue of metamodeling of Domain-Specific Languages (DSL) for the purpose of d...
International audienceThe prototyping of embedded systems being long and expensive, software models ...
The main aim of this chapter is to present and discuss a set of modeling and specification technique...
Activities for the comprehension and development \ of Cyber-Physical Systems (CPS) include analysis ...
International audienceIn the context of Model Driven Engineering, models are the primary artifacts o...
Associated research group: Critical Systems Research GroupIn a cyber-physical system (a system where...
This paper proposes a requirement and concept model based on a functional decomposition of mechanica...
A general-purpose method to mechanically transform system requirements into a provably equivalent mo...
The increasing complexity of cyber-physical systems (CPSs) makes their design, development and opera...
This open access book coherently gathers well-founded information on the fundamentals of and formali...
Executable specifications are computer algorithms written in an appropriate specification language w...
International audienceThe design of Cyber-Physical systems (CPS) demands to combine discrete models ...
Cyber-physical systems are complex trans-disciplinary systems. Designing this kind of systems requir...
Modeling and analysis of Cyber-Physical Systems (CPS) is an inherently multi-disciplinary endeavour....
Abstract. Traditional requirements engineering approaches give little emphasis on the engineering of...
The paper presents the issue of metamodeling of Domain-Specific Languages (DSL) for the purpose of d...