Welcome to the InfoSci Platform
An Integrated Framework to Simulate SysML Models Using DEVS Simulators

An Integrated Framework to Simulate SysML Models Using DEVS Simulators

G.-D. Kapos, V. Dalakas, M. Nikolaidou, D. Anagnostopoulos
Copyright: © 2014 |Pages: 28
ISBN13: 9781466643697|ISBN10: 1466643692|EISBN13: 9781466643703
DOI: 10.4018/978-1-4666-4369-7.ch010
Cite Chapter Cite Chapter

MLA

Kapos, G.-D., et al. "An Integrated Framework to Simulate SysML Models Using DEVS Simulators." Formal Languages for Computer Simulation: Transdisciplinary Models and Applications, edited by Pau Fonseca i Casas, IGI Global, 2014, pp. 305-332. https://doi.org/10.4018/978-1-4666-4369-7.ch010

APA

Kapos, G., Dalakas, V., Nikolaidou, M., & Anagnostopoulos, D. (2014). An Integrated Framework to Simulate SysML Models Using DEVS Simulators. In P. Fonseca i Casas (Ed.), Formal Languages for Computer Simulation: Transdisciplinary Models and Applications (pp. 305-332). IGI Global. https://doi.org/10.4018/978-1-4666-4369-7.ch010

Chicago

Kapos, G.-D., et al. "An Integrated Framework to Simulate SysML Models Using DEVS Simulators." In Formal Languages for Computer Simulation: Transdisciplinary Models and Applications, edited by Pau Fonseca i Casas, 305-332. Hershey, PA: IGI Global, 2014. https://doi.org/10.4018/978-1-4666-4369-7.ch010

Export Reference

Mendeley
Favorite

Abstract

System models validation is an important engineering activity of the system development life-cycle, usually performed via simulation. However, usability and effectiveness of many validation approaches are hindered by the fact that system simulation is not performed using a system model described by a standardized modeling language as SysML. This requires system simulation models to be recreated from scratch, burdening the engineer and introducing inconsistencies between system and validation models. In this chapter, the authors present how system engineers may effectively perform SysML system model validation utilizing the original SysML model and standards-based simulated related extensions. This is achieved by a framework that exploits MDA concepts and techniques, such as profiling, meta-modeling, and formal transformations. This way an open, standards-based, customizable approach for SysML models validation using DEVS simulators is formed. A simple battle system is used as an example throughout the chapter to facilitate the presentation of the proposed approach.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.