Sichere und effiziente Softwareproduktlinien

安全高效的软件产品线

• 批准号: 168119451
• 负责人: Professor Dr.-Ing. Sven Apel
• 金额: --
• 依托单位: Lehrstuhl für Software Engineering
• 依托单位国家: 德国
• 项目类别: Independent Junior Research Groups
• 财政年份: 2010
• 资助国家: 德国
• 起止时间: 2009-12-31 至 2016-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/168119451?language=en
• 关键词: Sichere; und; effiziente; Softwareproduktlinien

Produktlinientechnologie gewinnt immer mehr an Bedeutung in der Softwareindustrie und ist bereits weit verbreitet in anderen Industriezweigen wie der Automobilindustrie. Ziel der Entwicklung von Softwareproduktlinien ist die systematische Wiederverwendung von Softwareartefakten zur weitestgehend automatisierten Generierung von Softwaresystemen auf Basis von Kundenwünschen. Einzelne Softwareprodukte einer Softwareproduktlinie unterscheiden sich in ihren Features, d. h. in Einzelfunktionalitäten, die sie dem Kunden bieten. Der Kunde wählt die gewünschten Features aus, und ein Generator setzt diese (sicher und effizient) zusammen. Bisher wurden wichtige Aspekte wie Sicherheit und Effizienz von Softwareproduktlinien nicht ausreichend erforscht. Mit derzeitigen Techniken ist es nicht möglich, die Korrektheit von generierten Softwareprodukten zu garantieren und deren Effizienz zu optimieren. Sicherheit ist eine wichtige Voraussetzung für die Adoption von Produktlinien in der Industrie, und Produktlinien haben ein Potential zur Effizienzoptimierung, das momentan nicht ausgeschöpft wird. Das Projekt SAFESPL hat zum Ziel, Methoden, Techniken und Werkzeuge zu entwickeln, mit denen sich Sicherheit im Sinne von Korrektheit garantieren lässt und mit denen sich auf Basis von verschiedenen Informationsquellen effiziente Softwareprodukte automatisch generieren lassen.

生产线技术在软件工业中越来越受到重视，在汽车工业和其他工业中也越来越受到重视。软件生产线的发展是软件生产的系统化，是软件系统在知识基础上的自动化生成。一种软件产品是一种以其特性为基础的软件产品。H.在另一个功能上她的孩子很可爱。Der Kunde wählt die gewünschten Features aus，and ein Generator setzt diese（sicher und effizient）zusammen.软件生产线的安全性和效率等方面的要求并没有得到很好的解决。Mit derzeitigen Techniken ist es nicht möglich，die Korrektheit von generierten Software produkten zu garantieren und deren Effizienz zu optimieren. Sicherplasticist eine wichtige Voraussetzung für die Adoption von Produktlinien in der Industrie，und Produktlinien haben ein Potential zur Effizienzoptimierung，das moment nicht ausgeschöpft wird. SAFESPL项目采用Ziel、Methoden、Techniken和Werkzeuge进行开发，其中包括保证最低安全性的Sinne的安全性，以及基于通用自动化生产的信息质量有效性的基础。

项目成果

Presence-Condition Simplification in Highly Configurable Systems

• DOI: 10.1109/icse.2015.39
• 发表时间: 2015-05
• 期刊: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
• 作者: Alexander von Rhein;A. Grebhahn;S. Apel;Norbert Siegmund;Dirk Beyer;T. Berger

Variability-aware performance prediction: A statistical learning approach

可变性感知性能预测：一种统计学习方法

• DOI: 10.1109/ase.2013.6693089
• 发表时间: 2013
• 期刊: 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
• 作者: J. Guo;K. Czarnecki;S. Apel;N. Siegmund;A. Wasowski
• 通讯作者: A. Wasowski

Scalable analysis of variable software

• DOI: 10.1145/2491411.2491437
• 发表时间: 2013-08
• 作者: Jörg Liebig;Alexander von Rhein;Christian Kästner;S. Apel;Jens Dörre;C. Lengauer

Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T)

• DOI: 10.1109/ase.2015.45
• 发表时间: 2015-11
• 期刊: 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
• 作者: Atrisha Sarkar;Jianmei Guo;Norbert Siegmund;S. Apel;K. Czarnecki

Using bad learners to find good configurations

使用糟糕的学习器来找到好的配置

• DOI: 10.1145/3106237.3106238
• 发表时间: 2017
• 期刊: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
• 作者: V. Nair;T. Menzies;N. Siegmund;S. Apel
• 通讯作者: S. Apel