Filters








62,642 Hits in 4.1 sec

Formalizing Physics: Automation, Presentation and Foundation Issues [chapter]

Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan-Afshar, Cvetan Dunchev, Sofiène Tahar
2015 Lecture Notes in Computer Science  
Apart from automation, we also provide brief initial exploration of more general issues in formalization of physics, such as its presentation and foundations.  ...  In this paper, we report our first experiments in using learningassisted automated reasoning for the formal analysis of physical systems.  ...  In short, we suggest FOP as a rather exciting and very large and rewarding research topic whose automation, foundations and presentation issues will keep the formalization community busy in the next years  ... 
doi:10.1007/978-3-319-20615-8_19 fatcat:wrdpt7nvvneoffucvpq5ceuum4

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

John Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock
2015 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering  
Formal Methods in Software Engineering 978-1-4673-7043-1/15 $31.00  ...  The engineering of dependable cyber-physical systems (CPSs) is inherently collaborative, demanding cooperation between diverse disciplines.  ...  Consequently the foundations, methods and tools of CPS engineering should incorporate both the discrete models of computing hardware and software, and the continuous-value formalisms of physical (e.g.  ... 
doi:10.1109/formalise.2015.14 dblp:conf/icse/FitzgeraldGLPW15 fatcat:226sm43ndjd45l333azrrn73va

A Formal Approach to Cyber-Physical Attacks

Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Vigano
2017 2017 IEEE 30th Computer Security Foundations Symposium (CSF)  
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks.  ...  Our contributions are threefold: (1) we define a hybrid process calculus to model both CPSs and cyber-physical attacks; (2) we define a threat model of cyber-physical attacks and provide the means to assess  ...  CONCLUSIONS, RELATED AND FUTURE WORK We have provided formal theoretical foundations to reason about, and statically detect, attacks to physical devices of CPSs.  ... 
doi:10.1109/csf.2017.12 dblp:conf/csfw/LanotteMMV17 fatcat:ae7tzr4zorfczmr57wnghpmnru

A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version) [article]

Ruggero Lanotte and Massimo Merro and Andrei Munteanu and Luca Viganò
2021 arXiv   pre-print
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and physics-based attacks, i.e., attacks targeting physical devices.  ...  We focus on a formal treatment of both integrity and denial of service attacks to sensors and actuators of CPSs, and on the timing aspects of these attacks.  ...  Massimo Merro and Andrei Munteanu have been partially supported by the project "Dipartimenti di Eccellenza 2018-2022" funded by the Italian Ministry of Education, Universities and Research (MIUR).  ... 
arXiv:1902.04572v3 fatcat:tvbea3y7t5d6ll5h5o4u62iikq

A Formal Approach to Cyber-Physical Attacks [article]

Ruggero Lanotte and Massimo Merro and Riccardo Muradore and Luca Viganò
2017 arXiv   pre-print
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks.  ...  We focus on %a formal treatment of both integrity and DoS attacks to sensors and actuators of CPSs, and on the timing aspects of these attacks.  ...  CONCLUSIONS, RELATED AND FUTURE WORK We have provided formal theoretical foundations to reason about and statically detect attacks to physical devices of CPSs.  ... 
arXiv:1611.01377v2 fatcat:a5de5jlugvh2djhyncl7mtlnx4

Supporting adaptiveness of cyber-physical processes through action-based formalisms

Andrea Marrella, Massimo Mecella, Sebastian Sardiña, Carlos Linares López
2018 AI Communications  
In this paper, we tackle this issue by introducing an approach and an adaptive Cognitive PMS, called SmartPM, which combines process execution monitoring, unanticipated exception detection and automated  ...  automated planning.  ...  In the following sections, we will first present the formal approach of SmartPM developed through action-based formalisms for covering the enactment and adaptation layers of the architecture, and we then  ... 
doi:10.3233/aic-170748 fatcat:atqkmsoqnvchxcdy7crn43ei2m

TOWARDS REQUIREMENTS REPRESENTATIONUSING AN EXTENSIVE ECA FORMALISM INCYBER-PHYSICAL SYSTEMS

Hua Wang, Jian Yu
2019 Journal of research in engineering and applied sciences  
To address the predicament, an ECARE formalism with the property value is proposed as a lightweight engineering tool for requirement elicitation and representation as a first step towards the requirement-aware  ...  Requirement engineering has a critical role to play in the machinery for self-adaptation in Cyber-physical systems.  ...  CPS, being integrations of computation and physical processes, is a typical selfadaptive system because embedded computers and networks monitor and control the physical processes, usually with feedback  ... 
doi:10.46565/jreas.2019.v04i03.001 fatcat:t2yfzeo2i5bvtlsqpf7i7qjjiy

Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics [chapter]

Mike Stannett
2015 Lecture Notes in Computer Science  
The power of a computing system therefore depends on its physical environment and cannot be specified in absolute terms.  ...  Early theoreticians developed models of computation that are independent of both their implementation and their physical location, but it has become clear in recent decades that these aspects of computation  ...  It is present at p if and only if the program halted.  ... 
doi:10.1007/978-3-319-23111-2_2 fatcat:odjp6b7qpbfpthnjua376ie2ve

InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics

Eun-Young Kang, Pierre-Yves Schobbens
2020 2020 9th Mediterranean Conference on Embedded Computing (MECO)  
INTRODUCTION Cyber-Physical Systems (CPS), such as vehicle systems-ofsystems and automated manufacture systems, feature tight coupling between software components and physical processes [1] - [3] .  ...  The rest of the paper is organized as follows: Sec 2 presents scientific challenge, the aim and objectives of InFoCPS. Suggested solutions and the research plan are described in Sec 3.  ... 
doi:10.1109/meco49872.2020.9134341 dblp:conf/meco/0001S20 fatcat:x5kqxwrc5nb4zii3u5jm4fzgg4

Predictive Formal Analysis of Resilience in Cyber-Physical Systems

Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila, Hakima Chaouchi
2019 IEEE Access  
We exploit the formalism of timed automata and the toolbox UPPAAL to predict by abstraction and analyze (simulate and verify) endogenous resilience.  ...  In this paper, we present a predictive dual-sided contract-based formal methodology to address both aspects of resilience on top of a distributed object-oriented component-based software model.  ...  BCL is pattern-based and semi-formal, easy to read, and convert to formal statements.  ... 
doi:10.1109/access.2019.2903153 fatcat:4t54sghznrcklgsgx7au5irnly

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)

Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic, Michael Wagner
2019 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 19071 "Specification Formalisms for Modern Cyber-Physical Systems."  ...  Special attention was given to exploring the intersection of machine learning and formal specification languages, where formal specifications can serve as a bridge between the world of verification and  ...  The ECSEL Joint Undertaking receives support from the European Union's Horizon 2020 research and innovation programme and Austria, Denmark, Germany, Finland, Czech Republic, Italy, Spain, Portugal, Poland  ... 
doi:10.4230/dagrep.9.2.48 dblp:journals/dagstuhl-reports/DeshmukhMN19 fatcat:qs52xpqxbzh6vajciydqb3ujgi

Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency [article]

Mario Lezoche
2018 arXiv   pre-print
Using the CPS meta-model formalization, with an adaptation of the Formal Concept Analysis (FCA) formal approach, this paper presents a way to optimize the modelling of CPS systems emphasizing their redundancy  ...  In this way it lists all kind of relationships that may occur between the CPSs themselves and between their (cyber-and physical-) components.  ...  common formal foundation of a composite CPS, aggregating the broad definitions found in the literature.  ... 
arXiv:1810.06911v1 fatcat:uetlvu2a4zaefcj4kluaogo2ji

Formal ontologies in manufacturing

Emilio M. Sanfilippo, Yoshinobu Kitamura, Robert I.M. Young
2019 Applied Ontology  
In our understanding, 1 Issue on Applied Ontology with title Formal Ontologies in Manufacturing has 29 been thought to address foundational issues in manufacturing ontology but also to provide technical  ...  Our aim was 38 therefore to collect research papers presenting challenging modeling problems concerning knowledge 39 representation in manufacturing and providing mature ontological analysis and formal  ... 
doi:10.3233/ao-190209 fatcat:rg7xw7livfeanh7l27mspqqy5u

INFORMAL PROOF, FORMAL PROOF, FORMALISM

ALAN WEIR
2015 The Review of Symbolic Logic  
actual practice, this restriction is unjustified and formalism is not threatened.  ...  In this paper I look at the relevance of these issues for formalism, construed as an anti-platonistic metaphysical doctrine.  ...  in formal proofs and validated by an automated theorem-checker is both realistic and desirable.  ... 
doi:10.1017/s1755020315000234 fatcat:aw2kgf7yifdc7kxgffbcmjqudy

A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems [chapter]

Marius C. Bujorianu, Manuela L. Bujorianu, Howard Barringer
2009 Lecture Notes in Computer Science  
In this paper, we propose a formal framework consisting of a reference model for multi-agent cyber physical systems, and a formal logic for expressing safety properties.  ...  A full abstraction theorem is presented, and it is proved that SafAL represents a logical characterization of bisimulation.  ...  and a foundational study of the basic formal verification concepts of bisimulation and model checking.  ... 
doi:10.1007/978-3-642-02734-5_7 fatcat:3o7daoiiu5eazkpzppd6l7ix4u
« Previous Showing results 1 — 15 out of 62,642 results