Abstract. The paper describes some aspects of the development of control embedded systems concerned with the transformation from a formal RTCP-net model into Ada 2005 source code. RTCP-nets have been defined, among other things, to equip coloured Petri nets with capability of direct modelling of elements typical for concurrent programming in Ada, such as task priorities, timeouts, etc. Hence, it is possible to define an algorithm for a semi-automatic transformation from a model into an implementation. Especially, the possibility is concerned with systems implemented in accordance with Ada Ravenscar Profile that limits the set of acceptable language constructions.
In this paper we present the rationale, the status and the planned enhancement of a set of code arch...
A research programme is underway which is aimed at establishing ways of prototyping real time engine...
The work presented in the thesis must be considered in the context of a more general project, which ...
A large number of formalisms has been proposed for real-time systems modelling. However, formal meth...
A large number of formalisms has been proposed for real-time systems modelling. However, formal meth...
At present, design teams which need to produce animate specifications of control systems have to wri...
A large number of formalisms has been proposed for real-time systems modelling. However, formal meth...
The implementation phase of the software development process requires techniques for the transformat...
This paper describes a formal modelling approach, where Ada code is automatically generated from the...
Abstract The Ada language has for long provided supportfor the development of reliable real-time sys...
Safety-critical embedded systems are increasingly complex. To address the problems imposed by the de...
We promote a model-driven software development that centres on component-orientation. In keeping wit...
SIGLEAvailable from British Library Document Supply Centre-DSC:8724.920(no CS-TR-700) / BLDSC - Brit...
The authors present some of the experiences resulting from using an Ada language system in developin...
One important role for Ada programming is to aid engineering of concurrent and distributed software....
In this paper we present the rationale, the status and the planned enhancement of a set of code arch...
A research programme is underway which is aimed at establishing ways of prototyping real time engine...
The work presented in the thesis must be considered in the context of a more general project, which ...
A large number of formalisms has been proposed for real-time systems modelling. However, formal meth...
A large number of formalisms has been proposed for real-time systems modelling. However, formal meth...
At present, design teams which need to produce animate specifications of control systems have to wri...
A large number of formalisms has been proposed for real-time systems modelling. However, formal meth...
The implementation phase of the software development process requires techniques for the transformat...
This paper describes a formal modelling approach, where Ada code is automatically generated from the...
Abstract The Ada language has for long provided supportfor the development of reliable real-time sys...
Safety-critical embedded systems are increasingly complex. To address the problems imposed by the de...
We promote a model-driven software development that centres on component-orientation. In keeping wit...
SIGLEAvailable from British Library Document Supply Centre-DSC:8724.920(no CS-TR-700) / BLDSC - Brit...
The authors present some of the experiences resulting from using an Ada language system in developin...
One important role for Ada programming is to aid engineering of concurrent and distributed software....
In this paper we present the rationale, the status and the planned enhancement of a set of code arch...
A research programme is underway which is aimed at establishing ways of prototyping real time engine...
The work presented in the thesis must be considered in the context of a more general project, which ...
Add to ORKG