Programming advanced embedded systems involves reasoning through labyrinthine system interactions on long methods between sensors, actuators, and management processors. this can be a difficult, long, and fallible method requiring vital in- teraction between engineers and code programmers. Further- a lot of, the ensuing code typically lacks modularity and lustiness within the presence of failure. Model-based programming addresses these limitations, permitting engineers to program reactive systems by specifying high-level management ways and by collection com- monsense models of the system hardware and code. In execution an impression strategy, model-based executives reason concerning the models “on the fly,” to trace system state, diagnose faults, and perform reconfigurations. This paper develops the Reactive Model-Based artificial language (RMPL) and its government, known as Titan. RMPL provides the options of synchronous, reactive languages, with the another ability of reading and writing to state variables that square measure hidden at intervals the physical plant being controlled. Titan exe- cutes associate degree RMPL program exploitation intensive component-based declar- ative models of the plant to trace states, analyze abnormal situ- ations, and generate novel management sequences. at intervals its reactive management loop, Titan employs propositional illation to deduce the system’s current and desired states, and it employs model-based reactive progressing to move the plant from this to the required state.
Article Details
Unique Paper ID: 142896
Publication Volume & Issue: Volume 2, Issue 7
Page(s): 106 - 109
Article Preview & Download
Share This Article
Join our RMS
Conference Alert
NCSEM 2024
National Conference on Sustainable Engineering and Management - 2024