id:"swepub:oai:DiVA.org:mdh-47780"
Sökning: id:"swepub:oai:DiVA.org:mdh-47780" > Formal methods for ...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Formal methods for railway control systems INTRODUCTION
-
- Fantechi, Alessandro (författare)
- Università degli Studi di Firenze-DINFO, Italy
-
- Flammini, Francesco, Senior Lecturer, 1978- (författare)
- Ansaldo STS-Innovation, Italy
-
- Gnesi, Stefania (författare)
- Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, Italy
- (creator_code:org_t)
- 2014-08-17
- 2014
- Engelska.
- Ingår i: International Journal on Software Tools for Technology Transfer. - : Springer. - 1433-2779 .- 1433-2787. ; 16:6, s. 643-646
- Tidskriftsartikel (refereegranskat)
Abstract
Ämnesord
Stäng
- The term intelligent transportation systems (ITS) refers to information and communication technology (applied to transport infrastructure and vehicles) that improve transport outcomes such as transport safety, transport productivity, travel reliability, informed travel choices, social equity, environmental performance and network operation resilience. The importance of ITS is increasing as novel driverless/pilotless applications are emerging. This special issue addresses the application of formal methods to model and analyze complex systems in the context of ITS and in particular in the field of railway control systems. In fact, modelling and analysis activities are very important to optimize system life-cycle in the design, development, verification and operational stages, and they are essential whenever assessment and certification is required by international standards. © 2014, Springer-Verlag Berlin Heidelberg.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- Formal methods
- Railway control systems
- Complex networks
- Control systems
- Environmental management
- Environmental technology
- Intelligent systems
- Life cycle
- Railroads
- Vehicle to vehicle communications
- Transportation
- Environmental performance
- Information and Communication Technologies
- Intelligent transportation systems
- International standards
- Modelling and analysis
- Network operations
- Transport infrastructure
- Operational stages
- Software Technology
- Programvaruteknik
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
- International Journal on Software Tools for Technology Transfer (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Fantechi, Alessa ...
- Flammini, France ...
- Gnesi, Stefania
- Om ämnet
-
- TEKNIK OCH TEKNOLOGIER
- TEKNIK OCH TEKNO ...
- och Elektroteknik oc ...
- och Inbäddad systemt ...
- Artiklar i publikationen
- International Jo ...
- Av lärosätet
- Mälardalens universitet
- Linnéuniversitetet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
