research-article

I-DEVS: imprecise real-time and embedded DEVS modeling

Authors:

Mohammad Moallemi,

Gabriel WainerAuthors Info & Claims

TMS-DEVS '11: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

Pages 95 - 102

Published: 03 April 2011 Publication History

Abstract

The problem of over-running in hard real-time systems poses critical risks to the hardware under control. The imprecise computation technique offers an effective way of resource utilization in these cases. We introduce Imprecise-DEVS (I-DEVS), a model-driven approach to develop real-time and embedded applications based on the DEVS (Discrete Event Systems Specification) formalism. This approach combines the dynamic advantages of the imprecise computation technique with the rigor of a formal modeling methodology. This framework can be used to develop embedded applications incrementally, integrating imprecise models with hardware components seamlessly. We have defined structural modifications to DEVS in order to allow imprecise model definition.

References

[1]

H. Saadawi, G. Wainer. "Verification of Real-Time DEVS Models". In proceedings of DEVS Symposium, San Diego, California, USA, 2009.

Digital Library

[2]

G. Wainer. "Discrete-event modeling and simulation; a practitioner's approach". CRC/Taylor & Francis. 2009.

Digital Library

[3]

K. Lin, S. Natarajan, J.-S. Liu. "Imprecise Results: Utilizing Partial Computations in Real-Time Systems". In proceedings of the IEEE 8th Real-Time Systems Symposium, San Jose, California, USA, 1987.

[4]

H. Kobayashi, N. Yamasaki, "RT-Frontier: A RealTime Operating System for Practical Imprecise Computation". In proceedings of the 10th IEEE Real-Time and Applications Symposium, Toronto, Canada, 2004.

Digital Library

[5]

G. R. Wiedenhoft, A. A. Fröhlich. "Using Imprecise Computation Techniques for Power Management in RealTime Embedded Systems". 6th IFIP Working conf. on Distributed and Parallel Embedded Systems, Milano, Italy. 2008.

[6]

J. W. S. Liu, K-J. Lin, R. Bettati, D. Hull, A. Yu. "Use of imprecise computation to enhance dependability of realtime systems". The International Series in Engineering and Computer Science, 1994, Volume 284, Section 3, 157--182.

[7]

W. Feng, J. W. S. Liu. "An Extended Imprecise Computation Model for Time-Constrained Speech Processing and Generation" Proceedings of the IEEE Workshop on Real-Time Applications, New York, NY. USA, 1993.

[8]

X. Chen, A. M. K. Cheng. "An Imprecise Algorithm for Real-Time Compressed Image and Video Transmission" Proceedings of 6th International Conference on Computer Communications and Networks, Las Vegas, NV., USA 1997.

Digital Library

[9]

X. Huang, A. M. K. Cheng. "Applying Imprecise Algorithms to Real-Time Image and Video Transmission" Proceedings of Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, 1995.

Digital Library

[10]

K. Fujisawa, S. Hayakawa, T. Aoki, T. Suzuki, S. Okuma. "Real Time Motion Planning for Autonomous Mobile Robot, using Framework of Anytime Algorithm" Proceedings of the IEEE International Conference on Robotics & Automation, Detroit, Michigan, USA, 1999.

[11]

G. B. Parker. "Punctuated Anytime Learning for Hexapod Gait Generation" Proceedings of IEEE/RSJ International Conference on Intelligent Robots and System, Beijing, China, 2002.

[12]

S. Zilberstein, S. J. Russel. "Anytime Sensing, Planning and Action: A Practical Model for Robot Control" Proceedings of the 13th International Joint Conference on Artificial Intelligence, Chambery, France, 1993.

[13]

M. Amirijoo, J. Hansson, S. H. Son. "Error-Driven QoS Management in Imprecise Real-Time Databases" Proceedings of the 15th Euromicro Conference on Real-Time Systems, Porto, Portugal, 2003.

[14]

J. Hansson, M. Thuresson, S. Son. "Imprecise Task Scheduling and Overload Management using OR-ULD" Proceedings of the Seventh International Conference on Real-Time Computing Systems and Applications, Cheju Island, South Korea, 2000.

Digital Library

[15]

B. Zeigler, T. Kim, H. Praehofer. "Theory of Modeling and Simulation". Academic Press 2000, ISBN-10: 0127784551.

Digital Library

[16]

Hong J. S, Song H. H, Kim T. G., Park K. H "A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development", Springer, Netherlands, 1997.

[17]

X. Hu, B. P. Zeigler, J. Couretas, "Devs-On-A-Chip: Implementing DEVS In Embedded Java On A Tiny Internet Interface For Scalable Factory Automation." Proceedings of the 2001 IEEE Systems, Man, and Cybernetics Conference, pp. 3051--3056.

[18]

Y. H. Yu, G. Wainer, "eCD++: an engine for executing DEVS models in embedded platforms" Proceedings of the 2007 SCS Summer Computer Simulation Conference, San Diego, CA, USA, pp. 323--330. 2007

Digital Library

[19]

M. Moallemi, G. Wainer, "Designing an Interface for Real-Time and Embedded DEVS". Proceedings of TMS/DEVS Symposium. Orlando, FL. 2010.

Digital Library

[20]

Furfaro A., Nigro L. "A development methodology for embedded systems based on RT-DEVS", Innovations in Systems and Software Engineering, 5(2), pp. 117--127, 2009.

[21]

Song H., Kim T. "Application of RT-DEVS to analysis of safety critical embedded control system: railroad crossing example" SIMULATION 81(2), pp. 119--136, 2005.

Digital Library

[22]

Schulz, T. Ewing, and J. W. Rozenblit, "Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling", Proc. of the IEEE Conference on Engineering of Computer-Based Systems, pp. 308--316, Edinburgh, Scotland, UK, April 2000.

[23]

Spencer Borland and Hans Vangheluwe. "Transforming Statecharts to DEVS." In proceedings of Summer Computer Simulation Conference. Student Workshop, pages S154 - S159. Society for Computer Simulation International (SCS), July 2003. Montréal, Canada.

[24]

L. Capocchi, F. Bernardi, D. Federici, P. Bisgambiglia, "Transformation of VHDL descriptions into DEVS models for fault modeling and simulation" in proceedings of the IEEE Systems, Man and Cybernetics Conference, 2003, pp. 1205--1211, Washington, USA, 2003.

[25]

C. Jacques, G. Wainer, "Using the CD++ DEVS toolkit to develop Petri Nets" In Proceedings of the 2002 Summer Computer Simulation Conference. San Diego, CA. USA. 2002.

[26]

Tao Zheng, Gabriel A. Wainer, "Implementing finite state machines using the CD++ toolkit" In Proceedings of the 2005 SCS Summer Computer Simulation Conference (Student Workshop), Montreal, QC. Canada - 2003

[27]

W.-K. Shih, J. W. S. Liu, J.-Y. Chung. "Algorithms for Scheduling Imprecise Computations with Timing Constraints". SIAM J. Comput., 20(3):537--552, June 1991.

Digital Library

[28]

J. W. S. Liu, W. K. Shih. "Algorithms for Scheduling Imprecise Computations with Timing Constraints to Minimize Maximum Error". IEEE Trans. Comput., 44(3):466--471, 1995.

Digital Library

[29]

H. Aydin, P. Mejia-Alvarez, R. Melhem, D. Mossé. "Optimal Reward-Based Scheduling of Periodic Real-Time Tasks". Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999.

Digital Library

[30]

W.-K. Shih, J. W. S. Liu. "On-Line Scheduling of Imprecise Computations to Minimize Error" SIAM J. Comput., 5(5):1105--1121, 1996.

Digital Library

[31]

S. Baruah, M. Hickey. "Competitive On-Line Scheduling of Imprecise Computations" IEEE Trans. Comput., 47(9):1027--1032, Sept. 1998.

Digital Library

[32]

J.-Y. Chung, J. W. S. Liu, K.-J. Lin. "Scheduling Periodic Jobs That Allow Imprecise Results" IEEE Trans. Comput., 39(9):1156--1174, Sept. 1990.

Digital Library

[33]

Chow A, Kim D, Zeigler B. "Parallel DEVS: A parallel, hierarchical, modular modeling formalism" Proceedings of Winter Simulation Conference, 1994, Orlando, Florida.

Digital Library

[34]

Cho S. M., Kim T. G. "Real-Time DEVS Simulation: Concurrent, Time-Selective Execution of Combined RT-DEVS Model and Interactive Environment" Proceeding of 1998 Summer Simulation Conference, Reno, Nevada.

[35]

Wainer, G. "CD++: a toolkit to define discrete-event models". Software, Practice and Experience. Wiley. Vol. 32, No.3. pp. 1261--1306. November 2002.

Digital Library

[36]

B. P. Zeigler, H. Song, T. Kim, H. Praehofer. "DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems". Proceedings of HSAC, LNCS, Vol. 999. Ithaca, NY. 1995.

Digital Library

[37]

Xenomai: Real-Time Framework for Linux. Website available at: www.xenomai.org. accessed March, 2010.

[38]

C. L. Liu, J. W. Layland, "Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment". JACM, Vol. 20, No. 1, 1973.

Digital Library

[39]

S. Manolache. "Schedulability Analysis of Real-Time Systems with Stochastic Task Execution Times". Licentiate Thesis No. 985, Dept. of Computer and Information Science, IDA, Linkoping University, Sweden, December 2002

Cited By

de Mello BWainer GBarros FPrähofer HHu XDenil J(2016)Scheduling predictability in I-DEVS by schedulability analysisProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975409(1-8)Online publication date: 3-Apr-2016
https://dl.acm.org/doi/10.5555/2975389.2975409
Saadawi HWainer GPliego GBarros FPrähofer HHu XDenil J(2016)DEVS execution acceleration with machine learningProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975399(1-6)Online publication date: 3-Apr-2016
https://dl.acm.org/doi/10.5555/2975389.2975399
Gholami SSarjoughian HRiley GQuaglia FHimmelspach J(2012)Real-time network-on-chip simulation modelingProceedings of the 5th International ICST Conference on Simulation Tools and Techniques10.5555/2263019.2263032(103-112)Online publication date: 19-Mar-2012
https://dl.acm.org/doi/10.5555/2263019.2263032

Index Terms

I-DEVS: imprecise real-time and embedded DEVS modeling
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Computing methodologies
  1. Modeling and simulation
    1. Simulation support systems

Recommendations

Designing an interface for real-time and embedded DEVS
SpringSim '10: Proceedings of the 2010 Spring Simulation Multiconference

In this work, we are proposing a hardware-in-the-loop model-driven method to develop real-time and embedded applications based on DEVS (Discrete Event Systems Specification) formalism. This approach combines the advantages of a simulation-based approach ...
Real-time hardware/software co-design using devs-based transparent M&S framework
SCSC '16: Proceedings of the Summer Computer Simulation Conference

Design and development of hard Real-Time (RT) embedded systems present several crucial requirements regarding criticality and timeliness of these systems. Formal methods have been presented as a promising alternative to deal with the design issues of ...
Dynamic Structure DEVS: Improving the Real-Time Embedded Systems Simulation and Design
ANSS-41 '08: Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)

We present an improved simulation engine that combines Dynamic Structure DEVS with a real time simulation engine (eCD++). The improved simulation engine is implemented includes an advanced dynamic structure real-time experimental environment to adjust ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

TMS-DEVS '11: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

April 2011

300 pages

General Chairs:
Gabriel A. Wainer,
Mamadou K. Traoré,
Program Chairs:
Reiko Heckel,
Jan Himmelspach

Sponsors

SCS: Society for Modeling and Simulation International

In-Cooperation

SIGSIM: ACM Special Interest Group on Simulation and Modeling

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 03 April 2011

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SpringSim '11

Sponsor:

SCS

SpringSim '11: 2011 Spring Simulation Multi-conference

April 3 - 7, 2011

Massachusetts, Boston

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
122
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

de Mello BWainer GBarros FPrähofer HHu XDenil J(2016)Scheduling predictability in I-DEVS by schedulability analysisProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975409(1-8)Online publication date: 3-Apr-2016
https://dl.acm.org/doi/10.5555/2975389.2975409
Saadawi HWainer GPliego GBarros FPrähofer HHu XDenil J(2016)DEVS execution acceleration with machine learningProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975399(1-6)Online publication date: 3-Apr-2016
https://dl.acm.org/doi/10.5555/2975389.2975399
Gholami SSarjoughian HRiley GQuaglia FHimmelspach J(2012)Real-time network-on-chip simulation modelingProceedings of the 5th International ICST Conference on Simulation Tools and Techniques10.5555/2263019.2263032(103-112)Online publication date: 19-Mar-2012
https://dl.acm.org/doi/10.5555/2263019.2263032

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents