Filters








28,819 Hits in 7.6 sec

Verifying external interrupts of embedded microprocessor in SoC with on-chip bus

Fu-Ching Yang, Jing-Kun Zhong, Ing-Jer Huang
2008 2008 IEEE/ACM International Conference on Computer-Aided Design  
This paper proposes a automatic method to verify the microprocessor external interrupt behaviors on the OCB.  ...  With little human effort, even an inexperience designer can generate extensive verification cases in a systematic way.  ...  However, in an additional case, it does verify the reaction of triggering one IRL on a multi-cycle instruction. So the total verification cases are 46.  ... 
doi:10.1109/iccad.2008.4681600 dblp:conf/iccad/YangZH08 fatcat:pz27f6tkxrcpxl2xxhx3ayyfka

Verifiable Multi-agent Programs [chapter]

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
2004 Lecture Notes in Computer Science  
AgentSpeak is a reactive planning language for programming autonomous agents.  ...  In this paper, we introduce an alternative verification approach for AgentSpeak, by translating AgentSpeak to Java and then applying JPF2, a general purpose Java model checker.  ...  Acknowledgements This research was supported by a Marie Curie Fellowship of the European Community programme Improving Human Potential under contract number HPMF-CT-2001-00065.  ... 
doi:10.1007/978-3-540-25936-7_4 fatcat:ac5fgsmmnjgihg6xd7b3uzjlfu

Composition of design patterns

Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand
2014 ACM SIGBED Review  
We investigate scheduling analysis of multi-tasks applications running on real-time operating systems (RTOS in this article).  ...  Each architectural design pattern models a classical task synchronization or communication protocol available in RTOSes. In this article, we focus on those design patterns composition.  ...  Cheddar provides an architecture language, called Cheddar ADL, to model real-time systems. This architecture language is based on a meta-model.  ... 
doi:10.1145/2597457.2597463 fatcat:v752ynwbfna6fokguuqsqh7qze

Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest [article]

Matt Luckcuck, Rafael C. Cardoso
2021 arXiv   pre-print
In this paper, we describe the formal verification of a complex communication protocol that coordinates agents merging maps of their environment.  ...  The protocol was used by the LFC team in the 2019 edition of the Multi-Agent Programming Contest (MAPC).  ...  Although the merge protocol is the most complex communication protocol used in the LFC system, other behaviours also require some form of validation and verification.  ... 
arXiv:2106.04512v2 fatcat:vetzmatwi5aeja3hi3snmqouge

Titelei/Inhaltsverzeichnis [chapter]

Herwig Unger, Wolfgang A. Halang
2016 Autonomous Systems 2016  
The further ones present a distributed event-triggered control algorithm to achieve consensus in heterogeneous multi-agent systems' outputs, applications of chaos theory for encryption, managing complex  ...  To ensure continuous re-authentication of peers in peer-to-peer networks, which were in contact before, finally a mechanism inspired by the dinner cryptographic protocol and the zero knowledge protocol  ...  The further ones present a distributed event-triggered control algorithm to achieve consensus in heterogeneous multi-agent systems' outputs, applications of chaos theory for encryption, managing complex  ... 
doi:10.51202/9783186848109-i fatcat:tsdp76axnnaupflmrt3wgj5rnu

Automated Verification of Multi-Agent Programs

Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering  
As an example, we also provide model checking results for the verification of a multi-agent system implementing a well-known task sharing protocol.  ...  In this paper, we show that the flexible modelchecking of multi-agent systems, implemented using agentoriented programming languages, is viable thus paving the way for the construction of verifiably correct  ...  Acknowledgements The work reported in this paper has been supported through EPSRC grants EP/D054788 (Durham) and EP/D052548 (Liverpool).  ... 
doi:10.1109/ase.2008.17 dblp:conf/kbse/BordiniDFF08 fatcat:e4w2wjyeibekdbsf35metz27pq

Timed-Arc Petri-Nets based Agent Communication for Real-Time Multi-Agent Systems

Awais Qasim, Sidra Kanwal, Adnan Khalid, Syed Asad, Jawad Hassan
2019 International Journal of Advanced Computer Science and Applications  
This research focuses on Timed-Arc Petri-netsbased agent communication in real-time multi-agent systems. The Agent Communication Language is a standard language for the agents to communicate.  ...  Though FIPA protocol has already been described with the help of Petri-nets but this specification lacks the timing aspect that is a dire need for real-time multi-agent systems.  ...  A. Timed-Arc Petri-Net (TAPN) TAPN is an established technique for the formal modeling of multi-agents systems in real-time environments.  ... 
doi:10.14569/ijacsa.2019.0100970 fatcat:pfyecnablrb5jfod4gga2m6yh4

HLTB design for high-speed multi-FPGA pipelines

Josef Magri, Owen Casha, Keith Bugeja, Ivan Grech, Edward Gatt
2017 2017 24th IEEE International Conference on Electronics, Circuits and Systems (ICECS)  
The upfront costs in terms of time and resources required to set up the environment are outweighed by the benefits of having such a system, which range from the scalability, predictability and manageability  ...  The test bench was successfully employed in a nuclear particle detector system, forming part of a large physics experiment. The design under test consists of three main stages.  ...  ACKNOWLEDGMENTS This work was made possible through a collaboration between the University of Malta and the ALICE HMPID at the Conseil Européen pour la Recherche Nucléaire (CERN).  ... 
doi:10.1109/icecs.2017.8292109 dblp:conf/icecsys/MagriCBGG17 fatcat:vpgxo6znpnahxpcci5ls4itf7y

Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020

Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
2021 Journal of Sensor and Actuator Networks  
Multi-agent systems, robotics and software engineering are large and active research areas with many applications in academia and industry.  ...  The First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA), organised the first time in 2020, aims at encouraging cross-disciplinary collaborations and exchange of ideas among researchers  ...  In [44] , the authors verified a formal model that describes mobile robot protocols operating in a discrete space is proposed.  ... 
doi:10.3390/jsan10020033 fatcat:t5yc7cx3rrfq5dahmpgoa5pj2u

Testing the broadband network: a quickly shifting demand for test equipment solutions [chapter]

L. Vandevenne, B. Sutter, E. Goossens
1996 Testing of Communicating Systems  
It has mainly two segments : the first describes the test world where signaling protocols are involved, and its segmentation. The second part describes a model of a solution.  ...  This paper describes the research results of a project of Siemens Atea in the area of test needs.  ...  This implies automatically a multi-vendor, multi-operator environment. As a result, A TM network testing activities have to take these abilities into account.  ... 
doi:10.1007/978-0-387-35062-2_2 fatcat:lid2yi4mkrc2bmxxi4usf6ygme

Secure sharing method of network data transmission based on multi-layer encryption technology

Jing Yanrong, Zhang Wenqian, Ge Lin, Li Nanfang, Shang Xiyuan, Ye Yun
2021 E3S Web of Conferences  
The network transmission path security of scientific research institutions is tracked, evaluated and tested in real time.  ...  In order to ensure the effect of network data transmission in scientific research institutions and avoid network information from being attacked and damaged, a secure sharing method of network data transmission  ...  It includes development engine, standard SQL language, extended function, stored procedure, trigger program and so on. In use, it is easy to install and compatible with network platform.  ... 
doi:10.1051/e3sconf/202125201027 doaj:be478c075739476493e711cefb82a29d fatcat:upl56a46nzc45d6nj3amgfgxbe

Modeling Soft State Protocols with SDL [chapter]

Xiaoming Fu, Dieter Hogrefe
2005 Lecture Notes in Computer Science  
In this paper we utilize formal techniques, specifically, Specification and Description Language (SDL) and Message Sequence Charts (MSCs), for modeling, analysis and validation of various soft state protocols  ...  Thus, verification, formal analysis and validation of these protocols become a vital task.  ...  it times out after a relatively long time.  ... 
doi:10.1007/11422778_24 fatcat:67bvkauke5g3fjtcfda3kymwue

Scenario-Based Modeling of Multi-Agent Systems [chapter]

Armin Stranjak, Igor Cavrak, Mario Zagar
2011 Multi-Agent Systems - Modeling, Interactions, Simulations and Case Studies  
descriptions, • Expressive language for strict and flexible interaction within the described multi-agent system, • Abstraction of run-time environment in order to protect its users from run-time complexities  ...  In this paper, we introduce a SDLMAS language for scenario description in multi-agent systems.  ... 
doi:10.5772/15671 fatcat:lxupbc3ekjhvdkqoz6l6ok3czu

A Review on Recent Progress of Smart Contract in Blockchain

Canghai Wu, Jie Xiong, Huanliang Xiong, Yingding Zhao, Wenlong Yi
2022 IEEE Access  
This special contract agreement is automatically verified and executed once preset conditions are triggered.  ...  A smart contract, in form, is represented as a piece of computer program code involving related commercial transactions and algorithms.  ...  In addition, the method adds an environment agent that manages their turn. Finally, verify the multi-agent system with the ATL properties that the developer wants to check.  ... 
doi:10.1109/access.2022.3174052 fatcat:wcbvjsuibbek3ikjegl3tddedu

Reasoning About Agents' Interaction Protocols Inside DCaseLP [chapter]

M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, C. Schifanella
2005 Lecture Notes in Computer Science  
In this work we focus on the problem of supporting the design of agent interaction protocols by carrying out a methodological integration of the MAS prototyping environment DCaseLP with the agent programming  ...  language DyLOG for reasoning about action and change.  ...  Acknowledgement This research is partially supported by MIUR Cofin 2003 "Logic-based development and verification of multi-agent systems (MASSiVE)" national project.  ... 
doi:10.1007/11493402_7 fatcat:nv6amnxidbfktcbpdmjubwwjj4
« Previous Showing results 1 — 15 out of 28,819 results