Embedded Systems and Robotic
Author(s):
Meenu Rani
Keywords:
Constraint programming, model-based autonomy, model-based execution, model-based programming, model-based reasoning, robotic execution, synchronous programming.
Abstract
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

Last Date: 15th March 2024

Call For Paper

Volume 10 Issue 10

Last Date for paper submitting for March Issue is 25 June 2024

About Us

IJIRT.org enables door in research by providing high quality research articles in open access market.

Send us any query related to your research on editor@ijirt.org

Social Media

Google Verified Reviews