Back close

Dynamic Constrained Objects for Vehicular Network Modeling

Publication Type : Book Chapter

Thematic Areas : Amrita Center for Cybersecurity Systems and Networks

Publisher : Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Source : Formal Methods for Safety and Security: Case Studies for Aerospace Applications, Springer Singapore, Singapore, p.41–52 (2017)

Url : https://link.springer.com/chapter/10.1007%2F978-981-10-4121-1_4

ISBN : 9789811041211

Campus : Amritapuri, Coimbatore

School : Centre for Cybersecurity Systems and Networks, Department of Computer Science and Engineering, School of Engineering

Center : Cyber Security, TBI

Department : Chemical, Computer Science, cyber Security

Year : 2017

Abstract : We present a paradigm called dynamic constrained objects for a declarative approach to modeling complex systems. In the basic paradigm of constrained objects, the structure of a complex system is specified through objects (as in object-oriented languages), while the behavior of a complex system is specified declaratively through constraints (as in constraint languages). The emergent behavior of such a complex system is deduced through a process of constraint satisfaction. Our focus in this paper is on systems whose states change with time. Such time-varying behaviors are fundamental in many domains, especially in mission and safety-critical applications. We present an extension of constrained objects with special metric temporal operators over time-series data, and we discuss their properties. We refer to the resulting paradigm as dynamic constrained objects and we illustrate their use for vehicular network modeling. Here, the network of roads and the roadside infrastructure are specified through objects, and the movement of vehicles and associated safety and liveness conditions are specified through time-series variables and metric temporal operators. The paper presents a language called DCOB, for dynamic constrained objectsConstraint object, and examples of its use for vehicular network modeling.

Cite this Research Publication :
M. K. Jinesh, Jayaraman, B., and Dr. Krishnashree Achuthan, “Dynamic Constrained Objects for Vehicular Network Modeling”, in Formal Methods for Safety and Security: Case Studies for Aerospace Applications, M. Nanda and Jeppu, Y., Eds. Singapore: Springer Singapore, 2017, pp. 41–52

Admissions Apply Now