Code Generation for Real-Time Specifications

摘要

Process-algebraic specification languages such as LOTOS allow abstract specifications of a protocol. As soon as one switches to implementations, this abstractness causes problems. Solutions and open problems are discussed when implementing LOTOS-specifications with additional hard real-time restrictions. The created prototype shall be able to communicate with real partners over a net. It can be shown that solutions for the behaviour part are possible. The data-type part produces problems. A lot of restrictions are necessary to allow run-time prediction and code generation for real-time LOTOS specifications with data.