View in EDS

The Embedded Machine

Saved in:
Bibliographic Details
Title: The Embedded Machine
Authors: Kirsch, Christoph M
Contributors: CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES
Source: DTIC
Publication Year: 2001
Collection: Defense Technical Information Center: DTIC Technical Reports database
Subject Terms: Cybernetics, Mfg & Industrial Eng & Control of Product Sys, Machinery and Tools, EMBEDDING, MACHINES, VIRTUAL REALITY, ALGORITHMS, CODING, COMMUNICATION AND RADIO SYSTEMS, COMPUTATIONS, JAVA PROGRAMMING LANGUAGE, MESSAGE PROCESSING, PARAMETERS, REAL TIME, SCHEDULING, SEMANTICS
Description: The embedded machine is a virtual machine in the spirit of the Java virtual machine with specific extensions for embedded real-time computing on distributed platforms. The embedded machine provides an abstract platform for generating distributed code from high-level embedded programming languages. The instruction set of the embedded machine has a formal synchronous (zero-delay) semantics which provides synchronous control of scheduled computation and communication with respect to the progress of real-time and the occurrences of events. The serialization of concurrent scheduled computation and communication is defined non-deterministically which makes the embedded machine compatible with any scheduling algorithm. A program of the embedded machine determines when to schedule task invocations and message delivery but not how. A scheduling algorithm is thus a parameter of a program of the embedded machine.
Document Type: text
File Description: text/html
Language: English
Relation: http://www.dtic.mil/docs/citations/ADA603567
Availability: http://www.dtic.mil/docs/citations/ADA603567
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA603567
Rights: Approved for public release; distribution is unlimited.
Accession Number: edsbas.E2B40F6E
Database: BASE
Description
Abstract:The embedded machine is a virtual machine in the spirit of the Java virtual machine with specific extensions for embedded real-time computing on distributed platforms. The embedded machine provides an abstract platform for generating distributed code from high-level embedded programming languages. The instruction set of the embedded machine has a formal synchronous (zero-delay) semantics which provides synchronous control of scheduled computation and communication with respect to the progress of real-time and the occurrences of events. The serialization of concurrent scheduled computation and communication is defined non-deterministically which makes the embedded machine compatible with any scheduling algorithm. A program of the embedded machine determines when to schedule task invocations and message delivery but not how. A scheduling algorithm is thus a parameter of a program of the embedded machine.