Dronology: An Incubator for Cyber-Physical Systems Research

被引:40
作者
Cleland-Huang, Jane [1 ]
Vierhauser, Michael [1 ]
Bayley, Sean [1 ]
机构
[1] Univ Notre Dame, Dept Comp Sci & Engn, South Bend, IN 46556 USA
来源
2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS (ICSE-NIER) | 2018年
基金
奥地利科学基金会; 美国国家科学基金会;
关键词
Research Environments; Unmanned Autonomous Systems; Software Engineering;
D O I
10.1145/3183399.3183408
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Research in the area of Cyber-Physical Systems (CPS) is hampered by the lack of available project environments in which to explore open challenges and to propose and rigorously evaluate solutions. In this "New Ideas and Emerging Results" paper we introduce a CPS research incubator based upon a system, and its associated project environment, for managing and coordinating the flight of small Unmanned Aerial Systems (sUAS). The research incubator provides a new community resource, making available diverse, high-quality project artifacts produced across multiple releases of a safety-critical CPS. It enables researchers to experiment with their own novel solutions within a fully-executable runtime environment that supports both high-fidelity sUAS simulations as well as physical sUAS. Early collaborators from the software engineering community have shown broad and enthusiastic support for the project and its role as a research incubator, and have indicated their intention to leverage the environment to address their own research areas of goal modeling, runtime adaptation, safety-assurance, and software evolution.
引用
收藏
页码:109 / 112
页数:4
相关论文
共 24 条
[1]  
[Anonymous], 1995, Safeware: System Safety and Computers
[2]  
[Anonymous], 2016, The promise repository of empirical software engineering data. north carolina state university, department of computer science
[3]  
Apel S., 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering, P372, DOI 10.1109/ASE.2011.6100075
[4]  
Barbosa D. M., 2017, P 12 INT S SOFTW ENG
[5]  
Bencomo N., 2014, LECT NOTES COMPUTER, V8378
[6]   Assessing requirements-related risks through probabilistic goals and obstacles [J].
Cailliau, Antoine ;
van Lamsweerde, Axel .
REQUIREMENTS ENGINEERING, 2013, 18 (02) :129-146
[7]   Self-Adaptive Software Needs Quantitative Verification at Runtime [J].
Calinescu, Radu ;
Ghezzi, Carlo ;
Kwiatkowska, Marta ;
Mirandola, Raffaela .
COMMUNICATIONS OF THE ACM, 2012, 55 (09) :69-77
[8]  
Cleland-Huang J, 2013, S VIS LANG HUM CEN C, P338, DOI 10.1109/RE.2013.6636744
[9]  
Cleland-Huang Jane, 2014, FOSE, P55, DOI DOI 10.1145/2593882.2593891
[10]  
de Lemos R., 2013, Lecture Notes in Computer Science, V7475, P1, DOI DOI 10.1007/978-3-642-35813-5_1