Abstract | ||
---|---|---|
Embedded systems are becoming pervasive in diverse domains, but their complexity and heterogeneity calls for new, efficient development methods to ensure their reliability and safety. The authors present a discrete-event modeling and simulation methodology based on solid mathematical theory to deal with these issues. The presented methodology also allows model-checking for verifying design propert... |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/MCSE.2015.89 | Computing in Science & Engineering |
Keywords | Field | DocType |
Computational modeling,Unified modeling language,Robot sensing systems,Embedded systems,Mathematical model,Discrete-event systems,Modeling,Simulation | Unified Modeling Language,Computer science,Modeling and simulation,Mathematical theory,Theoretical computer science,Distributed computing,The Internet,Discrete event modeling,Discrete event simulation,Embedded system | Journal |
Volume | Issue | ISSN |
17 | 5 | 1521-9615 |
Citations | PageRank | References |
0 | 0.34 | 8 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniella Niyonkuru | 1 | 0 | 0.34 |
Gabriel A. Wainer | 2 | 1584 | 227.77 |