Rima Al Ali
Ilias Gerostathopoulos
ABSTRACT
In this work we tackle the problem of designing and developing software-intensive cyber-physical systems (CPS), which are large distributed systems of collaborating elements that closely interact with the physical world, such as intelligent transportation systems and crowdsourcing applications. Due to their specific constraints, such as extreme dynamism and continuous evolution of the physical substratum, and requirements, such us open-endedness and adaptability, CPS introduce many new challenges for software engineering. In response, we present a tailored ecosystem of software engineering models, methods, and tools. This ecosystem is centered on the DEECo component model, which we have proposed specifically for architecting software-intensive CPS.
- Al Ali, R., Bures, T., Gerostathopoulos, I., Keznikl, J. and Plasil, F. 2014. Architecture Adaptation Based on Belief Inaccuracy Estimation. To appear in Proc. of WICSA’14. Google Scholar
Digital Library
- Barnat, J., Benes, N., Bures, T., Cerna, I., Keznikl, J. and Plasil, F. 2013. Towards Verification of Ensemble-Based Component Systems. To appear in Proc. of FACS’13.Google Scholar
- Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M. and Plasil, F. 2013. DEECo – an Ensemble-Based Component System. Proc. of CBSE’13, ACM, 81–90. Google ScholarDigital Library
- Crnkovic, I. 2002. Building Reliable Component-Based Software Systems. Artech House, Inc., Norwood, MA. Google ScholarDigital Library
- jDEECo Website. https://github.com/d3scomp/JDEECo.Google Scholar
- Keznikl, J., Bures, T., Plasil, F., Gerostathopoulos, I., Hnetynka, P. and Hoch, N. 2013. Design of Ensemble-Based Component Systems by Invariant Refinement. Proc. of CBSE’13, ACM, 91–100. 200 m PLCS% PLCS% PLCS% PLCS% (component) Vehicle schedule route … (component) PLCS position freePlaces … Figure 1: E-mobility: components and ensembles. Google ScholarDigital Library
Index Terms
- DEECo: an ecosystem for cyber-physical systems
Recommendations
Software Engineering for Smart Cyber-Physical Systems: Models, System-Environment Boundary, and Social Aspects
Smart Cyber-Physical Systems (sCPS) are a novel kind of Cyber- Physical Systems engineered to take advantage of large-scale cooperation between devices, users and environment to achieve added value in face of uncertainty and various situations in their ...
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions
Smart Cyber--Physical Systems (sCPS) are modern CPS systems that are engineered to seamlessly integrate a large number of computation and physical components; they need to control entities in their environment in a smart and collective way to achieve a ...
Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report
Smart Cyber-Physical Systems (sCPS) are a novel kind of Cyber- Physical System engineered to take advantage of large-scale cooperation between devices, users and environment to achieve added value in the face of uncertainty and changing environments. ...
Comments