648,327 Hits in 6.4 sec

Modelling, verification, and formal analysis of security properties in a P2P system

Sam B. Sanjabi, Franck Pommereau
2010 2010 International Symposium on Collaborative Technologies and Systems  
We formally modelled the salient behavior of the actual system using ABCD, a high level specification language with a coloured Petri net semantics, which allowed the execution states of the system to be  ...  Furthermore, since the implementation is also a formal model, we have been able to show that any execution of the model satisfies certain desirable security properties once these flaws are repaired.  ...  If successful, we will have a system that was designed, model checked, simulated, and formally analyzed around the exact same specification, strengthening the ties between many aspects of the software  ... 
doi:10.1109/cts.2010.5478474 dblp:conf/cts/SanjabiP10 fatcat:ltzy3jeh6ndgvpw67g5na2e4wq

Collaborative models for autonomous systems controller synthesis

Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman
2020 Formal Aspects of Computing  
Collaborative models for autonomous systems controller synthesis 5. provide experimental results demonstrating the effectiveness of the controllers; 6. present an approach to extend the work to larger  ...  Model checking of a continuous-time system is challenging, as the state-space of a continuous system is infinite in size.  ...  To view a copy of this licence, visit  ... 
doi:10.1007/s00165-020-00508-1 fatcat:6ey7aif3uze7fn36rnveuuzjry

Model and Formalism Driven Development of Collaborative Applications

Bertrand T. David, René Chalon
2007 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to express collaborative situations  ...  CONCLUSION In this paper, we outlined a new formalism called ORCHESTRA, which objective is to provide a graphical expression of Cooperative Behavior Model.  ...  This provides a minimal system that handles synchronous collaboration, as well as persistence of collaboration states between sessions.  ... 
dblp:conf/models/DavidC07 fatcat:d6bwvieerredtboajipyaanclq

Formally-based Model-Driven Development of Collaborative Robotic Applications

Mehrnoosh Askarpour, Livia Lestingi, Samuele Longoni, Niccolò Iannacci, Matteo Rossi, Federico Vicentini
2021 Journal of Intelligent and Robotic Systems  
AbstractThe development of Human Robot Collaborative (HRC) systems faces many challenges. First, HRC systems should be adaptable and re-configurable to support fast production changes.  ...  This toolchain relies on (i) UML profiles for quick model design, (ii) formal verification for exhaustive search for unsafe situations (caused by intended or unintended human behavior) within the model  ...  formal model.  ... 
doi:10.1007/s10846-021-01386-2 fatcat:oh6p33owhncffnvomtkancen7q

A Formal Proximity Model for RBAC Systems

Aditi Gupta, Michael Kirkpatrick, Elisa Bertino
2012 Proceedings of the 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing  
In addition to proposing the model, we present a number of theoretical results for such systems, including a complexity analysis, templates for cryptographic protocols, and proofs of security features.  ...  In this work, we present a more rigorous definition of proximity based on formal topological relations.  ...  Formal Proximity Model Our formal definition of proximity is derived from constructing an abstract space model S from the reference space models or realms (e.g., the physical world, social networks, communication  ... 
doi:10.4108/icst.collaboratecom.2012.250453 dblp:conf/colcom/0002KB12 fatcat:hc3dbevbg5cjbaizmv47x2guem

An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration inThinkteam® [chapter]

Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni
2012 Formal Methods for Industrial Critical Systems  
We develop and study rather limited, abstract formal models that are intended to address specific issues, and use these models to verify properties that provide insight in the dependencies of various aspects  ...  of the models and their effect on system performance from an easy to understand user perspective.  ...  ACKNOWLEDGMENTS The work described in this chapter was partially funded by the Italian projects TOCAI (MIUR/FIRB) and XXL (CNR/RSTL). thinkteam, think3, and think-PLM are registered trademarks of think3  ... 
doi:10.1002/9781118459898.ch9 fatcat:4ryk4mhwbzfd3pmjjnydslxo74

SERSCIS-Ont Evaluation of a Formal Metric Model using Airport Collaborative Decision Making

Mike Surridge, Ajay Chakravarthy, Maxim Bashevoy, Joel Wright, Martin Hall-May, Roman Nossal
2011 International Journal on Advances in Intelligent Systems   unpublished
In this paper we detail the specification for a post-von Neumann model of metrics where program performance and resource consumption can be quantified and encoding of the behaviour of processes that use  ...  The approach is evaluated using a case study based on an airport-based collaborative decision-making scenario.  ...  Scenario Description The scenario used to validate the metric model is based on Airport Collaborative Decision Making (A-CDM).  ... 


Narjes Khezami, Samir Otmane, Malik Mallem
2005 IFAC Proceedings Volumes  
We present a model of the MAS (Multi-Agent System) devoted to collaborative teleoperation architectures.  ...  This formalism is combined astutely with the Ferber model to provide new collaborative features of the agent.  ...  { } ) (Re ) 1 ( 1 ∏ = = = N i i sults N i PROD (8) FORMAL MODELLING OF COLLABORATOR AGENT In this section we present a formal model for the collaborator agent.  ... 
doi:10.3182/20050703-6-cz-1902.01363 fatcat:crvdt723o5evhpx5kohlrlmw2u

Collaborative Systems of Systems Need Collaborative Design [chapter]

John Fitzgerald, Jeremy Bryans, Peter Gorm Larsen, Hansen Salim
2014 IFIP Advances in Information and Communication Technology  
The work reported here has been supported by the EU FP7 projects COMPASS (Grant 287829) and DESTECS (Grant 248134), and by the EPSRC Platform Grant on Trustworthy Ambient Systems (EP/J008133/1).  ...  Co-modelling of Cyber-Physical Systems Our work on collaborative development of SoS models has focussed on the computing systems. However, CPSs demand semantically heterogeneous models.  ...  Collaborative SoS Engineering: the COMPASS approach In previous work, we proposed formal model-based methods for describing SoSs in terms of the interfaces offered by the constituent systems, with each  ... 
doi:10.1007/978-3-662-44745-1_2 fatcat:j3vpt4zvwrcvvieyvrxnkjudqa

A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation

Elhillali Kerkouche, Algeria Allaoua Chaoui, El Bay Bourennane, Ouassila Labbani
2010 Journal of Object Technology  
In this paper, we propose an approach for transforming UML statechart and collaboration diagrams to Colored Petri net models.  ...  This transformation aims to bridge the gap between informal notation (UML diagrams) and more formal notation (Colored Petri net models) for analysis purposes.  ...  Using our approach, the modellers specify the dynamics of a system by means of a set of statechart diagrams and collaboration diagram.  ... 
doi:10.5381/jot.2010.9.4.a2 fatcat:wh7btojl5zgltorj6y5op5gu6i

Up and Down the Number-Line: Modelling Collaboration in Contrasting School and Home Environments [chapter]

Hilary Tunley, Benedict du Boulay, Rosemary Luckin, Joe Holmberg, Joshua Underwood
2005 Lecture Notes in Computer Science  
This paper is concerned with user modelling issues such as adaptive educational environments, adaptive information retrieval, and support for collaboration.  ...  The HomeWork project is examining the use of learner modelling strategies within both school and home environments for young children aged 5 -7 years.  ...  This will enable us to examine the use of the system within a less formal home environment.  ... 
doi:10.1007/11527886_55 fatcat:7op4ougnf5avvpees5agc4kthe

Strengthening Collaboration, Integration and Modelling in System of Systems Engineering [chapter]

Claus Ballegaard Nielsen
2014 Strengthening Collaboration, Integration and Modelling in System of Systems Engineering  
The dissertation has three focus areas: managing integration challenges, enhancing the capabilities of System of Systems modelling and enabling collaborative development in formal modelling.  ...  formal modelling techniques in System of Systems Engineering.  ...  Challenges in Collaborative Formal Modelling of System of Systems. Draft paper to be submitted to the International Journal of System of Systems Engineering, 2014.  ... 
doi:10.13052/rp-99788793237155 fatcat:ez2a3gl22jazrccy5ee37lyfyy

Formal Verification-based Risk Assessment for Industrial Human-Robot Collaboration

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
2019 Zenodo  
; (iii) formulae modeling human error phenotypes [6]; (iv) a formal replication of the ISO/TR 14121-2 risk estimation procedure; (v) formulae describing risk reduction measures (RRM) for collaborative  ...  , robot and the layout, the most important entities of collaborative systems, and the executing job; (ii) formulae modeling the significant hazardous situations as described in ISO 10218-2 and ISO/TS 15066  ...  ; (iii) formulae modeling human error phenotypes [6] ; (iv) a formal replication of the ISO/TR 14121-2 risk estimation procedure; (v) formulae describing risk reduction measures (RRM) for collaborative  ... 
doi:10.5281/zenodo.4794414 fatcat:wrqc2dh5lvferbydubiiqwijzy

CSCW for Preparing Formal Software Specifications: Issues and Implementation

Mohamed A. Sullabi, Zarina Shukur
2008 Journal of Computer Science  
A web-based prototype application system based on this model has been developed.  ...  To address these subjects, we come into view of two different issues, collaborative issues and formal specification issues.  ...  This model uses the internet as infrastructure for group of individuals to communicate and collaborate to produce a software formal specification document.  ... 
doi:10.3844/jcssp.2008.333.340 fatcat:pwm6twfzxrai3jvj4shze7y7su

Towards an Integrated Graph Based Semantics for UML

Martin Gogolla, Paul Ziemann, Sabine Kuske
2003 Electronical Notes in Theoretical Computer Science  
For UML models consisting of a class diagram and particular state diagrams, a graph transformation system can be defined.  ...  Recently, we proposed an integrated formal semantics based on graph transformation for central aspects of UML class, object and state diagrams.  ...  UML collaboration diagrams. These derivations are the formal counterpart of the diagrams and can help to confirm or to decrease the modeler's belief in the model.  ... 
doi:10.1016/s1571-0661(04)80619-4 fatcat:2gpqujr5yzawhlwq2dojfee76i
« Previous Showing results 1 — 15 out of 648,327 results