Semantic Scholar uses AI to extract papers important to this topic.
Upgrade mission-critical applications such as the Operational Flight Program (OFP) of avionics embedded computer systems is a… Expand State space generation suffers from the typical combinatorial explosion problem when dealing with industrial specifications. In… Expand Safety critical embedded systems must be verified and optimized. Their production process, which includes both automatic code… Expand Standards for distribution middleware sometimes impose restrictions and often allow the implementations to decide on aspects that… Expand The communication and tasking infrastructure of a real-time application makes up a significant portion of any modern embedded… Expand Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full… Expand Notre objectif est de proposer une methodologie pour le developpement d'un intergiciel embarque dans l'automobile offrant des… Expand A new token-passing algorithm called AR-TP for avoiding the non-determinism of some networking technologies is presented. This… Expand Developing middleware for distributed application is a difficult challenge. Such software should be verifiable in order to help… Expand The development of real-time distributed applications requires middleware providing both reliability and performance. Middleware… Expand