A. Amendola, M. Barbareschi, Salvatore De Simone, G. Mezzina, Alberto Moriconi, C. L. Saragaglia, Diana Serra, D. De Venuto
{"title":"实时重要控制模块,用于提高铁路控制系统在高度自动化列车运行中的能力","authors":"A. Amendola, M. Barbareschi, Salvatore De Simone, G. Mezzina, Alberto Moriconi, C. L. Saragaglia, Diana Serra, D. De Venuto","doi":"10.1007/s11241-023-09401-5","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":54507,"journal":{"name":"Real-Time Systems","volume":"1 1","pages":""},"PeriodicalIF":1.4000,"publicationDate":"2023-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A real-time vital control module to increase capabilities of railway control systems in highly automated train operations\",\"authors\":\"A. Amendola, M. Barbareschi, Salvatore De Simone, G. Mezzina, Alberto Moriconi, C. L. Saragaglia, Diana Serra, D. De Venuto\",\"doi\":\"10.1007/s11241-023-09401-5\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\",\"PeriodicalId\":54507,\"journal\":{\"name\":\"Real-Time Systems\",\"volume\":\"1 1\",\"pages\":\"\"},\"PeriodicalIF\":1.4000,\"publicationDate\":\"2023-07-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Real-Time Systems\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1007/s11241-023-09401-5\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Real-Time Systems","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1007/s11241-023-09401-5","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
期刊介绍:
Papers published in Real-Time Systems cover, among others, the following topics: requirements engineering, specification and verification techniques, design methods and tools, programming languages, operating systems, scheduling algorithms, architecture, hardware and interfacing, dependability and safety, distributed and other novel architectures, wired and wireless communications, wireless sensor systems, distributed databases, artificial intelligence techniques, expert systems, and application case studies. Applications are found in command and control systems, process control, automated manufacturing, flight control, avionics, space avionics and defense systems, shipborne systems, vision and robotics, pervasive and ubiquitous computing, and in an abundance of embedded systems.