New PDF release: Formal Development of a Network-Centric RTOS: Software

By Eric Verhulst,Raymond T. Boute,José Miguel Sampaio Faria,Bernhard H.C. Sputh,Vitaliy Mezhuyev

ISBN-10: 1441997350

ISBN-13: 9781441997357

ISBN-10: 148999288X

ISBN-13: 9781489992888

Many platforms, units and home equipment used normally in lifestyle, starting from mobile phones to autos, comprise a great deal of software program that isn't at once obvious to the consumer and is for that reason referred to as "embedded". For coordinating some of the software program elements and permitting them to converse with one another, aid software program is required, referred to as an working process (OS). simply because embedded software program needs to functionality in genuine time (RT), a RTOS is required. This ebook describes a officially built, network-centric Real-Time working procedure, OpenComRTOS. one of many first in its sort, OpenComRTOS was once initially constructed to make sure the usefulness of formal equipment within the context of embedded software program engineering. utilizing the formal tools defined during this booklet produces effects which are extra trustworthy whereas providing better functionality. the result's a special real-time concurrent programming process that helps heterogeneous platforms with simply five Kbytes/node. it's appropriate with protection similar engineering criteria, akin to IEC61508.

Show description

Read or Download Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems PDF

Best computer systems analysis & design books

Hardware/Software Co-design for Heterogeneous Multi-core - download pdf or read online

HW/SW Co-Design for Heterogeneous Multi-Core systems describes the consequences and final result of the FP6 undertaking which specializes in the advance of an built-in instrument chain concentrating on a heterogeneous multi center platform comprising of a common goal processor (ARM or powerPC), a DSP (the diopsis) and an FPGA.

Read e-book online Oracle BPM 11g PDF

Oracle enterprise method administration Suite offers a whole set of instruments for optimizing, developing, and coping with enterprise companies. Oracle BPM 11g allows prone to be created, controlled, and orchestrated in an important and intuitive interface that doesn't sacrifice caliber. BPM is below the umbrella of alternative Oracle SOA items and accordingly, integrates well with either Oracle and non-Oracle items.

Read e-book online Project Management for Information Systems PDF

Cadle and Yeates' venture administration for info platforms is acceptable for undergraduate scholars learning venture administration in the IT setting. This entire and sensible ebook is a wonderful start line for any scholars of venture administration for info structures, whether or not they are from a computing or a enterprise historical past, at undergraduate or masters point.

Learning Automata: Theory and Applications by K. Najim,A. S. Poznyak PDF

Studying structures have made an important effect on all components of engineering difficulties. they're beautiful tools for fixing many difficulties that are too advanced, hugely non-linear, doubtful, incomplete or non-stationary, and feature refined and interactive exchanges with the surroundings the place they function.

Extra resources for Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

Example text

Download PDF sample

Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems by Eric Verhulst,Raymond T. Boute,José Miguel Sampaio Faria,Bernhard H.C. Sputh,Vitaliy Mezhuyev


by Thomas
4.4

Rated 4.20 of 5 – based on 47 votes