Name
Abstract | ||
|---|---|---|
•Timely adaptation process for CPS that considers the execution times of activities.•Support for scalable execution of parallelizable activities to decrease response times.•Adaptation based on parametric models that are instantiated and evaluated online.•Pragmatic view using a lab prototype use case with Petri nets modeling and verification. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1016/j.jss.2018.06.044 | Journal of Systems and Software |
Keywords | Field | DocType |
CPS,Autonomous systems,Adaptive systems,Verification | Parametric model,Systems engineering,Adaptive system,Computer science,Exploit,Cyber-physical system,Software,Multi-core processor,Speedup,Distributed computing | Journal |
Volume | ISSN | Citations |
144 | 0164-1212 | 2 |
PageRank | References | Authors |
0.38 | 25 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marisol García-Valls | 1 | 540 | 40.75 |
| Diego Perez-Palacin | 2 | 120 | 13.23 |
| Raffaela Mirandola | 3 | 2557 | 133.74 |