scholarly journals Evolution of Formal Model-Based Assurance Cases for Autonomous Robots

2019 ◽  
pp. 87-104 ◽  
Author(s):  
Mario Gleirscher ◽  
Simon Foster ◽  
Yakoub Nemouchi
Keyword(s):  
Autonomous Robots ◽  
Formal Model ◽  
Model Based ◽  
Assurance Cases

scholarly journals Formal Model-Based Assurance Cases in Isabelle/SACM

2020 ◽  
Author(s):  
Simon Foster ◽  
Yakoub Nemouchi ◽  
Colin O'Halloran ◽  
Karen Stephenson ◽  
Nick Tudor
Keyword(s):  
Formal Model ◽  
Model Based ◽  
Assurance Cases

Formal Model-Based Test for AUTOSAR Multicore RTOS

2012 ◽  
Author(s):  
Ling Fang ◽  
Takashi Kitamura ◽  
Thi Bich Ngoc Do ◽  
Hitoshi Ohsaki
Keyword(s):  
Formal Model ◽  
Model Based

Lessons Learnt from the Adoption of Formal Model-Based Development

2012 ◽  
pp. 24-38 ◽  
Author(s):  
Alessio Ferrari ◽  
Alessandro Fantechi ◽  
Stefania Gnesi
Keyword(s):  
Formal Model ◽  
Model Based ◽  
Lessons Learnt

A Model-based Approach for Diagnosing Fault in Web Service Processes

2013 ◽  
pp. 92-116
Author(s):  
Yuhong Yan ◽  
Philippe Dague ◽  
Yannick Pencolé ◽  
Marie-Odile Cordier
Keyword(s):  
Web Services ◽  
Web Service ◽  
Business Process ◽  
Business Processes ◽  
Formal Model ◽  
Service Orchestration ◽  
Model Based ◽  
Architecture Framework ◽  
Web Service Orchestration ◽  
Business Process Execution

Web services based on a service-oriented architecture framework provide a suitable technical foundation for business process management and integration. A business process can be composed of a set of Web services that belong to different companies and interact with each other by sending messages. Web service orchestration languages are defined by standard organizations to describe business processes composed of Web services. A business process can fail for many reasons, such as faulty Web services or mismatching messages. It is important to find out which Web services are responsible for a failed business process because we could penalize these Web services and exclude them from the business process in the future. In this paper, we propose a model-based approach to diagnose the faults in a Web service-composed business process. We convert a Web service orchestration language, more specifically BPEL4WS, into synchronized automata, so that we have a formal description of the topology and variable dependency of the business process. After an exception is thrown, the diagnoser can calculate the business process execution trajectory based on the formal model and the observed evolution of the business process. The faulty Web services are deduced from the variable dependency on the execution trajectory. We demonstrate our diagnosis technique with an example.

scholarly journals Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation

2020 ◽  
Vol 12 (3) ◽  
pp. 83-86
Author(s):  
Asieh Salehi Fathabadi ◽  
Mohammadsadegh Dalvandi ◽  
Michael Butler ◽  
Bashir M. Al-Hashimi
Keyword(s):  
Formal Model ◽  
Cross Layer ◽  
Model Based

Rational Exchange - A Formal Model Based on Game Theory

2001 ◽  
pp. 114-126 ◽  
Author(s):  
Levente Buttyán ◽  
Hubaux Jean-Pierre
Keyword(s):  
Game Theory ◽  
Formal Model ◽  
Model Based
Sign in / Sign up

Export Citation Format

Share Document