.png){kind=icon}
Return
Giotto: A time-triggered language for embedded programming
.png){kind=icon}
PRE
AI
DOI：10.1109/JPROC.2002.805825.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Giotto provides an abstract programmer's model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic software tasks together with a mode-switching logic for enabling and disabling tasks. Giotto specifies time-triggered sensor readings, task invocations, actuator updates, and mode switches independent of any implementation platform. Giotto can be annotated with platform constraints such as task-to-host mappings, and task and communication schedules. The annotations are directives for the Giotto compiler, but they do not alter the functionality and timing of a Giotto program. By separating the platform-independent from the platform-dependent concerns, Giotto enables a great deal of flexibility in choosing control platforms as well as a great deal of automation in the validation and synthesis of control software. The time-triggered nature of Giotto achieves timing predictability, which makes Giotto particularly suitable for safety-critical applications.
Keywords:
control systems
embedded software
programming languages
real-time systems
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
25.9
Papers:
9.9K
Citations:
4.5W
Organization
No organization information available
Cited Papers
Effect of cholesterol on calcium-induced aggregation of liposomes and calcium diphosphatidate membrane traversal.png)
Biochemistry
BiochemistryIF0
PREAI
ShareSaveShareSaveShareSave
ShareSaveMechanism of ion escape from phosphatidylcholine and phosphatidylserine single bilayer vesiclesBiochemistry
BiochemistryIF0
PREAI
ShareSaveComputational Prediction of 1H and 13C NMR Chemical Shifts for Protonated Alkylpyrroles: Electron Correlation and Not Solvation is the SalvationChemPhysChem
OAAI
ChemPhysChemIF0
OAAIShareSaveShareSave
View more