Publication

Improving Confidence in Service Implementation in an Intelligent Network

Xavier Logean
1996
Conference Papers

Abstract

The approach to improve confidence in Services Implementation presented in this paper is based on the addition of a Service Modeler and Verifier Function (SMV) in the environment where the service take place. The SMV, combined with a test scenario, is able to detect on-the-fly implementations errors. The SMV keeps an abstract model of the service and the environment in which the service is executed and verifies at each model change properties derived from the requirements. In order to update its model the SMV spies all messages between the different entities of the network. The properties are expresses in linear time temporal logic. This paper presents the concept of the SMV and its realization for the CS-1 Intelligent Network.

Official source

https://infoscience.epfl.ch/entities/publication/f672d8a7-4568-439b-a858-9e55852973bd

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Xavier Logean
1996
Conference Papers

Abstract

Official source

https://infoscience.epfl.ch/entities/publication/f672d8a7-4568-439b-a858-9e55852973bd

About this result

Related concepts (23)

Intelligent transportation system

An intelligent transportation system (ITS) is an advanced application which aims to provide innovative services relating to different modes of transport and traffic management and enable users to be better informed and make safer, more coordinated, and 'smarter' use of transport networks. Some of these technologies include calling for emergency services when an accident occurs, using cameras to enforce traffic laws or signs that mark speed limit changes depending on conditions.

Intelligent speed assistance

Intelligent speed assistance (ISA), or intelligent speed adaptation, also known as alerting, and intelligent authority, is any system that ensures that vehicle speed does not exceed a safe or legally enforced speed. In case of potential speeding, the driver can be alerted or the speed reduced automatically. Intelligent speed assistance uses information about the road to determine local speed limits. Information can be obtained from knowledge of the vehicle position, taking into account speed limits known for the position, and by interpreting road features such as signs.

Linear temporal logic

In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.g., a condition will eventually be true, a condition will be true until another fact becomes true, etc. It is a fragment of the more complex CTL*, which additionally allows branching time and quantifiers. LTL is sometimes called propositional temporal logic, abbreviated PTL.