Project Details
Projekt
PREcision Time SYnchronous Processing Transfer (PRETSY Transfer)
Subject Area
Security and Dependability, Operating-, Communication- and Distributed Systems
Software Engineering and Programming Languages
Software Engineering and Programming Languages
Term
since 2024
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 533917550
Safety-critical and cyber-physical systems, e.g., in the domains of avionics, automotive, health-care or plant control, impose high demands on the functional correctness and timing predictability of embedded software. To achieve such strong correctness guarantees, software engineering has been developing a range of sound approaches such as automatic verification, real-time analysis and hybrid system modelling. The PREcision Time SYnchronous Processing (PRETSY) I/II DFG-funded projects explored a new holistic methodology for embedded system development combining domain-specific synchronous programming languages. Outcomes of PRETSY included the SCCharts modeling language and its sequentially constructive model of computation. The latter since then has been adopted in a range of other languages, including the recently developed Lingua Franca. The objective of the proposed project is to transfer the theoretical and practical results from our previous PRETSY projects to an industrial context. This will be done specifically in the railway domain, but should be applicable in other areas as well. In order to match the requirements imposed by the industrial application and to support the transfer with sound and complete approaches, we will extend the current theory of policy-synchronized shared memory as well as the design, programming methodology and tools currently available for SCCharts and Lingua Franca. The results will be evaluated within the practical development workflow of our industrial partners. Regarding scientific impact, our objective is to combine the mathematical theories of sequentially constructive synchronous programming and distributed algorithms.
DFG Programme
Research Grants (Transfer Project)
Application Partner
Scheidt & Bachmann System Technik GmbH
Signalling Systems
Signalling Systems
