Sökning: "embedded systems hard real-time concurrency model of computation safety-critical safety security industrial automation RTFM real-time for the masses"

Hittade 1 avhandling innehållade orden embedded systems hard real-time concurrency model of computation safety-critical safety security industrial automation RTFM real-time for the masses.

1. 1. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

   Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

   Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER