33,782 research outputs found
Verifying service continuity in a satellite reconfiguration procedure: application to a satellite
The paper discusses the use of the TURTLE UML profile to model and verify service continuity during dynamic reconfiguration of embedded software, and space-based telecommunication software in particular. TURTLE extends UML class diagrams with composition operators, and activity diagrams with temporal operators. Translating TURTLE to the formal description technique RT-LOTOS gives the profile a formal semantics and makes it possible to reuse verification techniques implemented by the RTL, the RT-LOTOS toolkit developed at LAAS-CNRS. The paper proposes a modeling and formal validation methodology based on TURTLE and RTL, and discusses its application to a payload software application in charge of an embedded packet switch. The paper demonstrates the benefits of using TURTLE to prove service continuity for dynamic reconfiguration of embedded software
Next Generation intelligent transport systems: a multidimensional framework for eCall implementation
The present use of Intelligent Transport Systems (ITS) can be defined as a hybrid between information and communication technologies to improve different aspects of mobility and transport. The potential value of the next generation ITS can be assessed as an integrated array of services satisfying customer preferences, optimising policy objectives and generating business revenues. Based on industry interviews, the analysis of a traffic information service and an 'emergency call' service permitted the multidimensional appreciation of deployment scenarios of these next generation Intelligent Transport Systems. The implementation of an on-board emergency call (eCall) is an ITS service which has already been deployed in different countries. Several private and public initiatives have already resulted into preliminary and purely private eCall services, mainly proprietary to the car industry, each with different underlying revenue and cost models. On the European level, a Memorandum of Understanding (MoU) instigated on the national enactment to implement a standardised eCall system. The research question involved in this paper is whether the specified ecosystem for the Belgian case confirms that all stakeholders have a particular interest in the effectuation of eCall. The findings are the result of a case study performed within the Flemish IBBT research project NextGenITS. --
Developing a distributed electronic health-record store for India
The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India
Energy efficient mining on a quantum-enabled blockchain using light
We outline a quantum-enabled blockchain architecture based on a consortium of
quantum servers. The network is hybridised, utilising digital systems for
sharing and processing classical information combined with a fibre--optic
infrastructure and quantum devices for transmitting and processing quantum
information. We deliver an energy efficient interactive mining protocol enacted
between clients and servers which uses quantum information encoded in light and
removes the need for trust in network infrastructure. Instead, clients on the
network need only trust the transparent network code, and that their devices
adhere to the rules of quantum physics. To demonstrate the energy efficiency of
the mining protocol, we elaborate upon the results of two previous experiments
(one performed over 1km of optical fibre) as applied to this work. Finally, we
address some key vulnerabilities, explore open questions, and observe
forward--compatibility with the quantum internet and quantum computing
technologies.Comment: 25 pages, 5 figure
- ā¦