<--- Back to Details
First PageDocument Content
Real-time operating systems / Computer architecture / Risk / Embedded operating systems / Functional Safety / Middleware / Kernel / Technology / IEC 61508 / Safety / Systems engineering / Computing
Date: 2013-06-25 04:14:53
Real-time operating systems
Computer architecture
Risk
Embedded operating systems
Functional Safety
Middleware
Kernel
Technology
IEC 61508
Safety
Systems engineering
Computing

RT‐Middleware for Functional Safety RTMSafety is an RT‐Middleware implementation certified to the IEC 61508 Standard for Functional Safety World‐first robot middleware to contain safety concept

Add to Reading List

Source URL: www.sec.co.jp

Download Document from Source Website

File Size: 276,54 KB

Share Document on Facebook

Similar Documents

Computing / Data management / Data / Business intelligence / Database management systems / Technology forecasting / Transaction processing / Dan Suciu / Big data / Probabilistic database / Data science / Analytics

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

DocID: 1xV2p - View Document

Theoretical computer science / Helmut Veith / Formal methods / TU Wien / Institute for Applied Information Processing and Communications / Software engineering / Verification / Formal verification / Computing

RESEARCH LINES Mapping SHiNE RiSE Rigorous Systems Engineering

DocID: 1xUZO - View Document

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

DocID: 1xUnB - View Document

Functional predicate / Model theory / Symbol / Limit of a function / Universal quantification / Mathematical logic / Mathematics / Logic

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

DocID: 1xUbX - View Document