DOIAbstract
We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints
We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints
Real-time control programs are often used in contexts where (conceptually) they run forever. Repetit...
Abstract. Program compilation can be formally defined as a sequence of equivalence-preserving transf...
In practice, the hard real-time systems are still implemented in low-level programming languages for...
We show how real-time schedulability tests and program refinement rules can be integrated to create ...
This paper shows how the feasibility of scheduling a realtime program consisting of a number of para...
This paper shows how the feasibility of scheduling a real-time program consisting of a number of par...
The real-time refinement calculus is an extension of the standard refinement calculus in which progr...
The refinement calculus is a well-established theory for formal development of imperative program co...
A real-time program can be developed by refining a specification into program code. Verification of ...
AbstractThe real-time refinement calculus is a formal method for the systematic derivation of real-t...
The real-time refinement calculus is a formal method for the systematic derivation of real-time prog...
Our overall goal is to support the development of real-time programs from specifications via a proce...
AbstractA real-time program can be developed by refining a specification into program code. Verifica...
Our overall goal is to support the development of real-time programs from specifications via a proce...
We define a language and a predicative semantics to model concurrent real-time programs. We consider...
Real-time control programs are often used in contexts where (conceptually) they run forever. Repetit...
Abstract. Program compilation can be formally defined as a sequence of equivalence-preserving transf...
In practice, the hard real-time systems are still implemented in low-level programming languages for...
We show how real-time schedulability tests and program refinement rules can be integrated to create ...
This paper shows how the feasibility of scheduling a realtime program consisting of a number of para...
This paper shows how the feasibility of scheduling a real-time program consisting of a number of par...
The real-time refinement calculus is an extension of the standard refinement calculus in which progr...
The refinement calculus is a well-established theory for formal development of imperative program co...
A real-time program can be developed by refining a specification into program code. Verification of ...
AbstractThe real-time refinement calculus is a formal method for the systematic derivation of real-t...
The real-time refinement calculus is a formal method for the systematic derivation of real-time prog...
Our overall goal is to support the development of real-time programs from specifications via a proce...
AbstractA real-time program can be developed by refining a specification into program code. Verifica...
Our overall goal is to support the development of real-time programs from specifications via a proce...
We define a language and a predicative semantics to model concurrent real-time programs. We consider...
Real-time control programs are often used in contexts where (conceptually) they run forever. Repetit...
Abstract. Program compilation can be formally defined as a sequence of equivalence-preserving transf...
In practice, the hard real-time systems are still implemented in low-level programming languages for...
Add to ORKG