Logo Lanfrica
  • Accueil
  • Atlas
  • Analyses
  • Documentation
  • Sign in

© 2026 Lanfrica. Tous droits réservés. Tous les droits d'auteur des ressources affichées sur le site Web Lanfrica appartiennent aux détenteurs de droits d'auteur d'origine, sauf indication contraire explicite.

Verification of real time systems: application to the transportation domain

Domaine:

mobility

Type de record:

paper
Créateur:
HamMou
Éditeur:
Fra
Éditeur:
CCSD
Hôte:avatar
International audience the need of conceiving reliable real-time systems is crucial for the software engineering. This paper is dedicated to the specification and the verification of land transportation systems taken as an application domain. We present a case study in the area of transportation. The system consists of several automated vehicles called CyCab, that have to communicate with a station. The components are modeled with timed automata and some properties are expressed in the timed logic TCTL to be checked by the model checking tool Kronos. These systems, which are both distributed and embedded, require to express non functional-properties, for example a response time constrained.

Visit

hal.science

Tags

[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Similaires

PULSETHREAD: A VERIFICATION-CENTRED MOBILE PLATFORM FOR REAL-TIME BLOOD DONOR MOBILISATIONTo what extent does the competency of users in technology impact the effectiveness of real-time data-sharing systems?Real Time Face Recognition for Mobile Application Based on Mobilenetv2The Effect of Using Intelligent Transportation Systems on Transportation-Sustainable Development in EgyptReal-time early infectious outbreak detection systems using emerging technologiesAn application of optimal transportation algorithm (OTA) to the distribution of petroleum products in Nigeria

PULSETHREAD: A VERIFICATION-CENTRED MOBILE PLATFORM FOR REAL-TIME BLOOD DONOR MOBILISATION

This paper introduces PulseThread, a deployed mobile platform meant to smooth coordination and trust

To what extent does the competency of users in technology impact the effectiveness of real-time data-sharing systems?

The COVID-19 pandemic has highlighted the urgency of effective epidemic response systems, particular

Real Time Face Recognition for Mobile Application Based on Mobilenetv2

Real-time facial recognition is one of the technologies with significant applications in a variety o

The Effect of Using Intelligent Transportation Systems on Transportation-Sustainable Development in Egypt

Roads have a significant positive impact on social and economic development and provide various adva

Real-time early infectious outbreak detection systems using emerging technologies

The use of emerging technologies ( such as RFID - Radio Frequency Identification and remote sensing)

An application of optimal transportation algorithm (OTA) to the distribution of petroleum products in Nigeria