58,550 Hits in 7.3 sec

Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

Robi Malik, Knut Åkesson, Hugo Flordal, Martin Fabian
2017 IFAC-PapersOnLine  
In order to handle large-scale problems of industrially interesting size, Supremica uses advanced model checking techniques such as symbolic representations and compositional abstraction.  ...  Supremica has been used in several industrial research projects to verify and synthesise control functions for embedded controllers, industrial robots, and flexible manufacturing systems, and to verify  ...  ACKNOWLEDGEMENTS Supremica has been developed by many people over many years and with support from several national and international projects, all too numerous to mention here.  ... 
doi:10.1016/j.ifacol.2017.08.427 fatcat:twmdxexovbfptbffw7oe6ic27m

Semantic big data for tax assessment

Stefano Bortoli, Paolo Bouquet, Flavio Pompermaier, Andrea Molinari
2016 Proceedings of the International Workshop on Semantic Big Data - SBD '16  
Semantic Big Data is about the creation of new applications exploiting the richness and flexibility of declarative semantics combined with scalable and highly distributed data management systems.  ...  Further, we introduce the concept of Entiton as a flexible and efficient data model suitable for large scale data inference and analytic tasks.  ...  Therefore, ontology and RDF are still extremely useful tools to persist and maintain a large scale knowledge base on a distributed file system.  ... 
doi:10.1145/2928294.2928297 dblp:conf/sigmod/BortoliBPM16 fatcat:bjxay2f7o5d4ljuedg4wug4hbi

Formal Verification for a Next-Generation Space Shuttle [chapter]

Stacy D. Nelson, Charles Pecheur
2003 Lecture Notes in Computer Science  
We also describe two verification tools, JMPL2SMV and Livingstone PathFinder, that can be used to thoroughly verify diagnosis applications that use model-based reasoning, such as the Livingstone system  ...  Livingstone is a model-based diagnosis system developed at NASA Ames [26] . Livingstone models describe the normal and abnormal functional modes of each component in the system.  ...  Runtime monitoring typically requires little computing resources and therefore scales up well to very large systems.  ... 
doi:10.1007/978-3-540-45133-4_5 fatcat:worqvitlkzf77aka7nq3f7unrm

Survey on Different Smart Parking Techniques

Minla Chandrahasan, Ankita Mahadik, Tejal Lotlikar, Madhusmita Oke, Anjali Yeole
2016 International Journal of Computer Applications  
Sections II to V describe existing systems and sections VI to VIII describe suggestions for a cloud application.  ...  The increase in city traffic is one of the major effects of population growth especially in urban areas. Due to this searching for a vacant parking area has become difficult during peak hours.  ...  When a registered vehicle arrives at the check-in point of a parking lot, the system verifies if it is registered or not.  ... 
doi:10.5120/ijca2016908920 fatcat:ze2lrg5uind43hauorzk6u7tni

Research on the Application of Space Syntax in Urban Planning

Xi Chen
2017 World Journal of Engineering and Technology  
This paper presents the objective analysis of the application of space syntax in a large scale city design field and possible problems, and then introduces how to use quantitative techniques to enhance  ...  the science and rationality of the design on large scale city.  ...  Space Syntax and Large Scale Urban Design City design is different from the small scale to implement spatial form as the main goal, pay more attention to the design of large scale city on a large scale  ... 
doi:10.4236/wjet.2017.53b004 fatcat:4rz6nqanobdz7ough7377pbipq

On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy

Junia Valente, Frederico Araujo, Rym Z. Wenkstern
2012 International journal of agent technologies and systems  
, was used to specify, verify, and analyze MATISSE's traffic models.  ...  In this paper we introduce MATISSE, a complex, large scale agent-based framework for the modeling and simulation of ITS and discuss how Alloy, a modeling language based on set theory and first order logic  ...  ACKNOWLEDGMENTS This project is partially supported by Rockwell Collins under the grant number 5-25143.  ... 
doi:10.4018/jats.2012100103 fatcat:xrzwk3brn5h7bogav5smas5ecq

Automatic Vehicle Location and Monitoring System based on Data Distribution Service

Basem Almadani, Shehryar Khan, Tarek R. Sheltami, Elhadi M. Shakshuki, Muhammad Musaddiq, Bilal Saeed
2014 Procedia Computer Science  
This paper proposes a real time Automatic Vehicle Location (AVL) and Monitoring system for pilgrims road transport coming towards city of Makkah in Saudi Arabia based on Data Distribution Service (DDS)  ...  Using this middleware approach, we are able to locate and track a huge number of mobile vehicles and identify pilgrims for an annual Islamic gathering in the Holy City of Makkah.  ...  Such a large-scale system requires a large scalable infrastructure that supports reliable and instant context updates for sharing among the mobile nodes [5] .  ... 
doi:10.1016/j.procs.2014.08.021 fatcat:72y2f2u3tvbifgbsocpi7ts3s4

Process Verification and Synthesis - The Use Case of Commissioning Processes in the Automobile Industry

Richard Mrasek
2015 International Conference on Advanced Information Systems Engineering  
At the same the number of different model series is constantly increasing leading to a larger amount of process models.  ...  Due to the increase of electronic components in modern vehicles, the process models tend to become more complex.  ...  For the satisfaction we have used an established questionnaire the System Usability Scale (SUS).  ... 
dblp:conf/caise/Mrasek13 fatcat:ibynqzwydfcuncaudhwuiqg3ry

Challenges on Coordination for Cyber-Physical Systems

Meng Sun
2013 Applied Mechanics and Materials  
This paper discusses several new challenges on coordination models and languages in the context of the emerging phenomenon of cyber-physical systems.  ...  The complex interaction with the physical world makes coordination models and languages very important for the analysis, design and development of cyber-physical systems.  ...  Compositional coordination models have a key role in such applications to support the development of loosely coupled, large-scale distributed applications [17] .  ... 
doi:10.4028/ fatcat:3t6wnlo4ibbrblgn36pz47xani

Risk and reliability modelling for multi-vehicle marine domains

Catherine A. Harris, Alexander B. Phillips, Carolina Dopico-Gonzalez, Mario P. Brito
2016 2016 IEEE/OES Autonomous Underwater Vehicles (AUV)  
It is well-known that autonomous underwater vehicle (AUV) missions are a challenging, high-risk robotics application.  ...  Stakeholders need to be reassured that risks of vehicle loss or damage have been minimised where possible, and scientists need to be confident that the mission is likely to produce sufficient high-quality  ...  The authors would like to thank Innovate UK and the project partners: Autonomous Surface Vehicles Ltd, Sonardyne International Ltd and SeeByte Ltd.  ... 
doi:10.1109/auv.2016.7778685 fatcat:vjal5imw4zh4ref3wnbfn6cyti

Automated Verification and Synthesis of Embedded Systems using Machine Learning [article]

Lucas Cordeiro
2017 arXiv   pre-print
The dependency on the correct functioning of embedded systems is rapidly growing, mainly due to their wide range of applications, such as micro-grids, automotive device control, health care, surveillance  ...  As a consequence, reliability of embedded (distributed) software becomes a key issue during system development, which must be carefully addressed and assured.  ...  The fourth aspect is inherent to a large number of embedded systems from telecommunications, control systems, and medical devices.  ... 
arXiv:1702.07847v2 fatcat:icus3c6bovbqvineb5n26ydcva

Blockchain and 6G: The Future of Secure and Ubiquitous Communication [article]

Ali Hussain Khan, Naveed UL Hassan, Chau Yuen, Jun Zhao, Dusit Niyato, Yan Zhang, H. Vincent Poor
2021 arXiv   pre-print
In this paper, in order to highlight the impact of blockchain and 6G on the future communication systems, we categorize these application requirements into two broad groups.  ...  These features will be essential requirements for the efficient functioning of the futuristic applications.  ...  This allows auditability and makes it possible to verify data all the way back to the genesis block. Data integrity in any block can be easily verified simply by checking the hash-trees.  ... 
arXiv:2106.05673v1 fatcat:jqhh3ybiefgpzi4rmufglyluhu

A Group Signature Based Secure and Privacy-Preserving Vehicular Communication Framework

Jinhua Guo, John P. Baugh, Shengquan Wang
2007 2007 Mobile Networking for Vehicular Environments  
Compared to the traditional digital signature scheme, the new scheme achieves authenticity, data integrity, anonymity, and accountability at the same time.  ...  ACKNOWLEDGMENTS This work is partially supported by NSF under the grant # CNS-0521142 and University of Michigan under an OVPR grant and a CEEP grant.  ...  The question of key distribution is still a largely open topic in regard to vehicular ad hoc networks.  ... 
doi:10.1109/move.2007.4300813 fatcat:baepmhqsfjh6lh2l454ftzlxoq

Evolution of a simple vehicle registration system to an SOA based e-governance application

Kanchana Rajaram, Chitra Babu
2010 Software engineering notes  
This motivated us to investigate the evolution of existing transaction models and to analyze their shortcomings using a case study, Vehicle Registration system.  ...  Further, the suitability of SOA to large scale e-governance applications and the need for developing better SOA Governance transaction frameworks have been demonstrated.  ...  Interaction between multiple SOA applications raise new challenges in e-Governance.  ... 
doi:10.1145/1764810.1764830 fatcat:foqlys3bebh6nnmyutwjfep4ve

High-resolution large-scale air pollution monitoring

Michael Doering
2011 Proceedings of the 3rd ACM international workshop on MobiArch - HotPlanet '11  
Large-scale data collection with a high spatial resolution requires mobile measurements, which are an active area of research but still offer many challenges.  ...  The measurement of environmental data in city areas has become an important issue to municipalities due to several national, European and even international climate directives.  ...  However, it is possible to use numerical models to extrapolate air pollution for other locations based on meteorological data, although the accurateness of these models is hard to verify.  ... 
doi:10.1145/2000172.2000177 dblp:conf/mobisys/Doering11 fatcat:psa7z5y5jva25djbd2uw6kbv7i
« Previous Showing results 1 — 15 out of 58,550 results