MaRTE OS: an Ada kernel for real-time embedded applications

DOI10.1007/3-540-45136-6_24MaRDI QIDQ2771792zbMATH OpenFDO

Authors Mario Aldea Rivas, Michael González Harbour

Publication date 18 February 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2043/20430305

zbMATH Keywords

Ada 95embedded systemskerneloperating systemPOSIXReal-time systems

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) General topics in the theory of software (68N01) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Running Ada on real-time Linux
• TIMES -- a tool for modelling and implementation of embedded systems
• Implementing Ada. real-time. clock and absolute delays in real-time kernels
• An Ada binding to the IEEE 1003.1q (POSIX tracing) standard
• New developments in Ada 95 run-time profile definitions and language refinements

Cited in

(3)

• Robust prediction-based control for unstable delay systems: Application to the yaw control of a mini-helicopter
• Running Ada on real-time Linux
• MaRTE OS

Describes a project that uses

Uses Software

• Ada95

This page was built for publication: MaRTE OS: an Ada kernel for real-time embedded applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2771792)