Model-Driven Design of City Spaces via Bidirectional Transformations

Visconti, Ennio; Tsigkanos, Christos; Hu, Zhenjiang; Ghezzi, Carlo

doi:10.1109/models.2019.00-16

Cited by 5 publications

(3 citation statements)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Previous work [2] has targeted automatically obtaining automata structures for cyber-physical spaces, which can bootstrap a core aspect of the present workspatial behaviour of entities from static space descriptions. Moreover, physical models themselves may be automatically obtained [28]. Indeed, our approach is based on separate modeling of different concerns, systematic composition of separate models, and validation of the composite model.…”

Section: Related Workmentioning

confidence: 99%

“…Such domain descriptions can be modeled using e.g., process calculi yielding state-transition structures [43,2] automatically. Another way of obtaining such a model is based on domain descriptions representing spatial space [28], such as Building Information Models (BIM [44]) or CityGML [45]), upon which dynamics of autonomous agents are encoded via transformation rules [25]. Furthermore, domain models of geolocation trajectories of e.g., internet-of-things devices can be used [46].…”

Section: Modeling Spatial Activitymentioning

confidence: 99%

See 1 more Smart Citation

Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration

Tsigkanos

Jin

et al. 2020

Preprint

Self Cite

View full text Add to dashboard Cite

Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. They are built from and depend upon the seamless integration of computation and physical components. Typical examples include systems where software-driven agents such as mobile robots explore space and perform actions to complete particular missions. Design of such a system often depends on multiple concerns expressed by different stakeholders, capturing different aspects of the system. We propose a model-driven approach supporting (a) separation of concerns during design, (b) systematic and semi-automatic integration of separately modeled concerns, and finally (c) early validation via statistical model checking. We evaluate our approach over two different case studies of cyber-physical space systems.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Modeling Spatial Activitymentioning

confidence: 99%

Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration

Tsigkanos

Jin

et al. 2020

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…1 To provide concrete evidence of the proposed modelbased approach, we demonstrate that transformations can be achieved in practice on real city models. The present paper extends [67] in the following ways: (i) The principal technical enhancement is the concrete realization of the bidirectional transformation, (ii) the role of domain specifics and the Application Policy are further elaborated, and (iii) evaluation is expanded to illustrate edge cases of interest to practical applications, over an additional real-world city model.…”

Section: Introductionmentioning

confidence: 99%

Model-driven engineering city spaces via bidirectional model transformations

Visconti

Tsigkanos

et al. 2021

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

Engineering cyber-physical systems inhabiting contemporary urban spatial environments demands software engineering facilities to support design and operation. Tools and approaches in civil engineering and architectural informatics produce artifacts that are geometrical or geographical representations describing physical spaces. The models we consider conform to the CityGML standard; although relying on international standards and accessible in machine-readable formats, such physical space descriptions often lack semantic information that can be used to support analyses. In our context, analysis as commonly understood in software engineering refers to reasoning on properties of an abstracted model—in this case a city design. We support model-based development, firstly by providing a way to derive analyzable models from CityGML descriptions, and secondly, we ensure that changes performed are propagated correctly. Essentially, a digital twin of a city is kept synchronized, in both directions, with the information from the actual city. Specifically, our formal programming technique and accompanying technical framework assure that relevant information added, or changes applied to the domain (resp. analyzable) model are reflected back in the analyzable (resp. domain) model automatically and coherently. The technique developed is rooted in the theory of bidirectional transformations, which guarantees that synchronization between models is consistent and well behaved. Produced models can bootstrap graph-theoretic, spatial or dynamic analyses. We demonstrate that bidirectional transformations can be achieved in practice on real city models.

show abstract

Formal Methods in Designing Critical Cyber-Physical Systems

Askarpour

Ghezzi

Mandrioli

et al. 2019

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Cyber-Physical Systems (CPS) are increasingly applied in critical contexts, where they have to support safe and secure operations, often subject to stringent timing requirements. Typical examples are scenarios involving automated living or working spaces in which humans operate, or human-robot collaborations (HRC) in modern manufacturing. Formal methods have been traditionally investigated to support modeling and verification of critical systems. In this paper, we review some of the main new challenges arising in the application of formal methods to modeling and verification of CPS. We do that by presenting two case studies (emergency response in a smart city and a smart manufacturing system), reflecting past work of the authors, from which some general lessons are distilled.

show abstract

Model-Driven Design of City Spaces via Bidirectional Transformations

Cited by 5 publications

References 36 publications

Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration

Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration

Model-driven engineering city spaces via bidirectional model transformations

Formal Methods in Designing Critical Cyber-Physical Systems

Contact Info

Product

Resources

About