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.

产品技术融入软件工业中并在汽车工业中广泛应用。软件产品的开发是基于软件系统的自动化实现的。 Einzelne Softwareprodukte einer Softwareproduktlinie unterscheiden sich in ihren Features，d。 h.在 Einzelfunktionalitäten 中，die sie dem Kunden bieten。 Der Kunde wählt die gewünschten 具有 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 is not es nicht möglich, die Korrektheit von Generierten Softwareprodukten zu garantieren and deren Effizienz zu optimieren. Sicherheit ist eine wichtige Voraussetzung für die Adoption von Produktlinien in der Industrie, and Produktlinien haben ein zur Effizienzoptimierung, das momentan nicht ausgeschöpft wird. Das Projekt SAFESPL 包括 Ziel、方法、技术和 Werkzeuge zu entwickeln，并在保证安全的情况下实现安全性，并在信息基础上实现高效的软件产品自动生成。

项目成果

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