A model-driven approach for generating embedded robot navigation control software

Authors:
Bina Shah;Rachael Dennison;Jeff Gray
Affiliations:
University of Alabama at Birmingham, Birmingham, AL;University of Alabama at Birmingham, Birmingham, AL;University of Alabama at Birmingham, Birmingham, AL
Venue:
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Year:
2004

Citing 6
Cited 1

Core LEGO MINDSTORMS Programming

Core LEGO MINDSTORMS Programming
An Embedded Software Primer

An Embedded Software Primer
What's Ahead for Embedded Software?

Computer
Composing Domain-Specific Design Environments

Computer
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems

GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Software: embedded battle royale

IEEE Spectrum - The quest for the spin transistor

Generating Sound and Resource-Aware Code from Hybrid Systems Models

Model-Driven Development of Reliable Automotive Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements. This paper describes undergraduate research into the use of advanced modeling techniques to improve the development of embedded systems. In particular, we have developed domain-specific models that describe the configuration and layout of a hazardous environment, which is symbolically represented as an area contaminated with hazardous materials (e.g., land mines), as well as objects to be rescued (e.g., babies). The motivation is to model a disaster site that is too dangerous for humans to search for survivors. From the visual model specifications, model interpreters will generate the embedded code that will control two LEGO Mindstorms robots. The mission of the robots is to traverse the hostile terrain and rescue the surviving babies. The modeling environment and generative techniques are described.