首页 > 最新文献

SICS Software-Intensive Cyber-Physical Systems最新文献

英文 中文
Beyond the limitations of real-time scheduling theory: a unified scheduling theory for the analysis of real-time systems 超越实时调度理论的局限:一种用于实时系统分析的统一调度理论
IF 2.4 Q1 Computer Science Pub Date : 2021-11-29 DOI: 10.1007/s00450-021-00429-1
F. Slomka, M. Sadeghi
{"title":"Beyond the limitations of real-time scheduling theory: a unified scheduling theory for the analysis of real-time systems","authors":"F. Slomka, M. Sadeghi","doi":"10.1007/s00450-021-00429-1","DOIUrl":"https://doi.org/10.1007/s00450-021-00429-1","url":null,"abstract":"","PeriodicalId":41265,"journal":{"name":"SICS Software-Intensive Cyber-Physical Systems","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2021-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47521158","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Automating integration under emergent constraints for embedded systems 嵌入式系统在紧急约束下的自动化集成
IF 2.4 Q1 Computer Science Pub Date : 2021-10-23 DOI: 10.1007/s00450-021-00428-2
Johannes Schlatow, E. Schmidt, R. Ernst
{"title":"Automating integration under emergent constraints for embedded systems","authors":"Johannes Schlatow, E. Schmidt, R. Ernst","doi":"10.1007/s00450-021-00428-2","DOIUrl":"https://doi.org/10.1007/s00450-021-00428-2","url":null,"abstract":"","PeriodicalId":41265,"journal":{"name":"SICS Software-Intensive Cyber-Physical Systems","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2021-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45074763","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A new enhanced cyber security framework for medical cyber physical systems 一个新的增强的医疗网络物理系统网络安全框架
IF 2.4 Q1 Computer Science Pub Date : 2021-03-23 DOI: 10.1007/s00450-021-00427-3
Ishaani Priyadarshini, Raghvendra Kumar, Le Minh Tuan, Le Hoang Son, Hoang Viet Long, Rohit Sharma, Sakshi Rai

Medical Cyber-Physical Systems (MCPS) are complex, location-aware, networked systems of medical devices that can be used as a piece of the healing center to give the best medical care to patients. Hence, they integrate human, cyber, and physical elements. Since MCPSs are life-critical and context-aware, they are significant to the healthcare industry, which is prone to data breaches and cyber-attacks. As an emerging research area, MCPS faces several challenges with respect to system reliability, assurance, autonomy and security, and privacy. In this paper, we initially examine the state-of-the-arts of MCPS over the last few decades (1998–2020) and subsequently propose a new framework considering security/privacy for MPCS that incorporates several models that depict various domains of security. An interaction between various models followed with a qualitative assessment of the framework has been carried out to present a detailed description of the proposed framework. It is useful in various healthcare industries like health care services, manufacturing, pharmaceuticals, etc. that utilize smart devices. Additionally, the framework may be applied to enhance security in the Internet of Things (IoT) environment. It may be also useful to deploy efficient workflow operations for patients under the consideration framework. The framework will also lay out the foundation for implementing cybersecurity infrastructures in many healthcare applications.

医疗信息物理系统(MCPS)是复杂的、位置感知的、联网的医疗设备系统,可以作为治疗中心的一部分,为患者提供最好的医疗护理。因此,它们整合了人、网络和物理元素。由于mcps对生命至关重要,并且具有上下文感知能力,因此它们对容易发生数据泄露和网络攻击的医疗保健行业非常重要。MCPS作为一个新兴的研究领域,在系统可靠性、保证性、自主性和安全性以及隐私性等方面面临着诸多挑战。在本文中,我们首先研究了过去几十年(1998-2020)MCPS的最新技术,随后提出了一个考虑MPCS安全/隐私的新框架,该框架包含了描述各种安全领域的几个模型。在对框架进行定性评估之后,进行了各种模型之间的相互作用,以对拟议框架进行详细描述。它在使用智能设备的各种医疗保健行业(如医疗保健服务、制造业、制药等)中非常有用。此外,该框架可用于增强物联网(IoT)环境中的安全性。在考虑框架下为患者部署有效的工作流操作也可能是有用的。该框架还将为在许多医疗保健应用程序中实施网络安全基础设施奠定基础。
{"title":"A new enhanced cyber security framework for medical cyber physical systems","authors":"Ishaani Priyadarshini, Raghvendra Kumar, Le Minh Tuan, Le Hoang Son, Hoang Viet Long, Rohit Sharma, Sakshi Rai","doi":"10.1007/s00450-021-00427-3","DOIUrl":"https://doi.org/10.1007/s00450-021-00427-3","url":null,"abstract":"<p>Medical Cyber-Physical Systems (MCPS) are complex, location-aware, networked systems of medical devices that can be used as a piece of the healing center to give the best medical care to patients. Hence, they integrate human, cyber, and physical elements. Since MCPSs are life-critical and context-aware, they are significant to the healthcare industry, which is prone to data breaches and cyber-attacks. As an emerging research area, MCPS faces several challenges with respect to system reliability, assurance, autonomy and security, and privacy. In this paper, we initially examine the state-of-the-arts of MCPS over the last few decades (1998–2020) and subsequently propose a new framework considering security/privacy for MPCS that incorporates several models that depict various domains of security. An interaction between various models followed with a qualitative assessment of the framework has been carried out to present a detailed description of the proposed framework. It is useful in various healthcare industries like health care services, manufacturing, pharmaceuticals, etc. that utilize smart devices. Additionally, the framework may be applied to enhance security in the Internet of Things (IoT) environment. It may be also useful to deploy efficient workflow operations for patients under the consideration framework. The framework will also lay out the foundation for implementing cybersecurity infrastructures in many healthcare applications.</p>","PeriodicalId":41265,"journal":{"name":"SICS Software-Intensive Cyber-Physical Systems","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2021-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138495278","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
The 13th advanced summer school on service-oriented computing 第十三届面向服务的计算高级暑期学校
IF 2.4 Q1 Computer Science Pub Date : 2020-08-01 DOI: 10.1007/s00450-019-00420-x
Schahram Dustdar
The 13th advanced Summer School on Service Oriented Computing (SummerSOC’19) continued a successful series of summer schools that started in 2007, regularly attracting world-class experts inServiceOrientedComputing to present state-of-the-art research during a week-long program organized in several thematic tracks: IoT, formal methods for SOC, Cloud Computing, Data Science, Advanced Manufacturing, Software Architecture, Digital Humanities, Quantum Computing, and emerging topics. The advanced summer school is regularly attendedby top researchers fromacademia and industry as well as by Ph.D. and graduate students. During the different sessions at SummerSOC renowned researchers gave invited tutorials on subjects from the themes mentioned above. The afternoon sessions were dedicated to the SummerSOC symposium and its original research contributions in these areas mentioned above. All accepted contributions were submitted in advance and have been peerreviewed. In addition, the contributions had been extensively discussed during a poster session. The feedback of this discussion too has been folded into the version published in this special issue. The first article provides a systematic review on the white and grey literature on design principles, architectural smells and refactoring for microservice; the first author received the “SummerSoC Young Researcher Award” sponsored by ICSOC. The next article introduces the ASAP-DM framework, which enables an automatic selection of ana-
第十三届面向服务计算高级暑期学校(SummerSOC ' 19)延续了自2007年开始的一系列成功的暑期学校,定期吸引世界级的面向服务计算专家在为期一周的课程中介绍最新的研究成果,该课程组织了几个主题轨道:物联网,SOC的正式方法,云计算,数据科学,先进制造,软件架构,数字人文,量子计算和新兴主题。来自学术界和工业界的顶尖研究人员以及博士和研究生定期参加高级暑期学校。在SummerSOC的不同会议期间,知名研究人员就上述主题的主题进行了邀请教程。下午的会议专门讨论了SummerSOC研讨会及其在上述领域的原始研究贡献。所有被录用的稿件均提前提交,并经过同行评议。此外,在一次海报会议上广泛讨论了这些贡献。这次讨论的反馈也被纳入了本期特刊的版本中。第一篇文章系统地回顾了关于微服务的设计原则、架构气味和重构的空白文献和灰色文献;第一作者获得ICSOC主办的“SummerSoC青年研究员奖”。下一篇文章将介绍asp - dm框架,该框架支持自动选择ana
{"title":"The 13th advanced summer school on service-oriented computing","authors":"Schahram Dustdar","doi":"10.1007/s00450-019-00420-x","DOIUrl":"https://doi.org/10.1007/s00450-019-00420-x","url":null,"abstract":"The 13th advanced Summer School on Service Oriented Computing (SummerSOC’19) continued a successful series of summer schools that started in 2007, regularly attracting world-class experts inServiceOrientedComputing to present state-of-the-art research during a week-long program organized in several thematic tracks: IoT, formal methods for SOC, Cloud Computing, Data Science, Advanced Manufacturing, Software Architecture, Digital Humanities, Quantum Computing, and emerging topics. The advanced summer school is regularly attendedby top researchers fromacademia and industry as well as by Ph.D. and graduate students. During the different sessions at SummerSOC renowned researchers gave invited tutorials on subjects from the themes mentioned above. The afternoon sessions were dedicated to the SummerSOC symposium and its original research contributions in these areas mentioned above. All accepted contributions were submitted in advance and have been peerreviewed. In addition, the contributions had been extensively discussed during a poster session. The feedback of this discussion too has been folded into the version published in this special issue. The first article provides a systematic review on the white and grey literature on design principles, architectural smells and refactoring for microservice; the first author received the “SummerSoC Young Researcher Award” sponsored by ICSOC. The next article introduces the ASAP-DM framework, which enables an automatic selection of ana-","PeriodicalId":41265,"journal":{"name":"SICS Software-Intensive Cyber-Physical Systems","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138495277","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Strategic logics for collaborative embedded systems 协作嵌入式系统的战略逻辑
IF 2.4 Q1 Computer Science Pub Date : 2019-12-01 DOI: 10.1007/s00450-019-00424-7
Damian Kurpiewski, Diego Marmsoler
{"title":"Strategic logics for collaborative embedded systems","authors":"Damian Kurpiewski, Diego Marmsoler","doi":"10.1007/s00450-019-00424-7","DOIUrl":"https://doi.org/10.1007/s00450-019-00424-7","url":null,"abstract":"","PeriodicalId":41265,"journal":{"name":"SICS Software-Intensive Cyber-Physical Systems","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00450-019-00424-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48940254","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Special issue on engineering collaborative embedded systems 工程协同嵌入式系统特刊
IF 2.4 Q1 Computer Science Pub Date : 2019-12-01 DOI: 10.1007/s00450-019-00421-w
Bernhard Rumpe, Ina Schaefer, H. Schlingloff, Andreas Vogelsang
{"title":"Special issue on engineering collaborative embedded systems","authors":"Bernhard Rumpe, Ina Schaefer, H. Schlingloff, Andreas Vogelsang","doi":"10.1007/s00450-019-00421-w","DOIUrl":"https://doi.org/10.1007/s00450-019-00421-w","url":null,"abstract":"","PeriodicalId":41265,"journal":{"name":"SICS Software-Intensive Cyber-Physical Systems","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00450-019-00421-w","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42790232","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Simulation methods and tools for collaborative embedded systems: with focus on the automotive smart ecosystems 协同嵌入式系统的仿真方法和工具:重点关注汽车智能生态系统
IF 2.4 Q1 Computer Science Pub Date : 2019-11-20 DOI: 10.1007/s00450-019-00426-5
Emilia Cioroaica, Florian Pudlitz, I. Gerostathopoulos, T. Kuhn
{"title":"Simulation methods and tools for collaborative embedded systems: with focus on the automotive smart ecosystems","authors":"Emilia Cioroaica, Florian Pudlitz, I. Gerostathopoulos, T. Kuhn","doi":"10.1007/s00450-019-00426-5","DOIUrl":"https://doi.org/10.1007/s00450-019-00426-5","url":null,"abstract":"","PeriodicalId":41265,"journal":{"name":"SICS Software-Intensive Cyber-Physical Systems","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2019-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00450-019-00426-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46341280","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
EURECA: epistemic uncertainty classification scheme for runtime information exchange in collaborative system groups EURECA:协作系统组运行时信息交换的认知不确定性分类方案
IF 2.4 Q1 Computer Science Pub Date : 2019-11-14 DOI: 10.1007/s00450-019-00422-9
C. Hildebrandt, Torsten Bandyszak, A. Petrovska, Nishanth Laxman, Emilia Cioroaica, Sebastian Törsleff
{"title":"EURECA: epistemic uncertainty classification scheme for runtime information exchange in collaborative system groups","authors":"C. Hildebrandt, Torsten Bandyszak, A. Petrovska, Nishanth Laxman, Emilia Cioroaica, Sebastian Törsleff","doi":"10.1007/s00450-019-00422-9","DOIUrl":"https://doi.org/10.1007/s00450-019-00422-9","url":null,"abstract":"","PeriodicalId":41265,"journal":{"name":"SICS Software-Intensive Cyber-Physical Systems","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2019-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00450-019-00422-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44133508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Towards runtime verification of collaborative embedded systems 协同嵌入式系统的运行时验证
IF 2.4 Q1 Computer Science Pub Date : 2019-11-02 DOI: 10.1007/s00450-019-00425-6
Samira Akili, Felix Lorenz
{"title":"Towards runtime verification of collaborative embedded systems","authors":"Samira Akili, Felix Lorenz","doi":"10.1007/s00450-019-00425-6","DOIUrl":"https://doi.org/10.1007/s00450-019-00425-6","url":null,"abstract":"","PeriodicalId":41265,"journal":{"name":"SICS Software-Intensive Cyber-Physical Systems","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2019-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00450-019-00425-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46089279","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
(Self-)adaptiveness for manufacturing systems: challenges and approaches 制造系统的(自)适应性:挑战和方法
IF 2.4 Q1 Computer Science Pub Date : 2019-11-01 DOI: 10.1007/s00450-019-00423-8
Birte Caesar, Florian Grigoleit, S. Unverdorben
{"title":"(Self-)adaptiveness for manufacturing systems: challenges and approaches","authors":"Birte Caesar, Florian Grigoleit, S. Unverdorben","doi":"10.1007/s00450-019-00423-8","DOIUrl":"https://doi.org/10.1007/s00450-019-00423-8","url":null,"abstract":"","PeriodicalId":41265,"journal":{"name":"SICS Software-Intensive Cyber-Physical Systems","volume":null,"pages":null},"PeriodicalIF":2.4,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00450-019-00423-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41247692","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
期刊
SICS Software-Intensive Cyber-Physical Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1