Sichere und effiziente Softwareproduktlinien
安全高效的软件产品线
基本信息
- 批准号:168119451
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Independent Junior Research Groups
- 财政年份:2010
- 资助国家:德国
- 起止时间:2009-12-31 至 2016-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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的安全性,以及基于通用自动化生产的信息质量有效性的基础。
项目成果
期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Presence-Condition Simplification in Highly Configurable Systems
- DOI:10.1109/icse.2015.39
- 发表时间:2015-05
- 期刊:
- 影响因子:0
- 作者:Alexander von Rhein;A. Grebhahn;S. Apel;Norbert Siegmund;Dirk Beyer;T. Berger
- 通讯作者: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
- 期刊:
- 影响因子:0
- 作者:J. Guo;K. Czarnecki;S. Apel;N. Siegmund;A. Wasowski
- 通讯作者:A. Wasowski
Scalable analysis of variable software
- DOI:10.1145/2491411.2491437
- 发表时间:2013-08
- 期刊:
- 影响因子:0
- 作者:Jörg Liebig;Alexander von Rhein;Christian Kästner;S. Apel;Jens Dörre;C. Lengauer
- 通讯作者: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
- 期刊:
- 影响因子:0
- 作者:Atrisha Sarkar;Jianmei Guo;Norbert Siegmund;S. Apel;K. Czarnecki
- 通讯作者:Atrisha Sarkar;Jianmei Guo;Norbert Siegmund;S. Apel;K. Czarnecki
Using bad learners to find good configurations
使用糟糕的学习器来找到好的配置
- DOI:10.1145/3106237.3106238
- 发表时间:2017
- 期刊:
- 影响因子:0
- 作者:V. Nair;T. Menzies;N. Siegmund;S. Apel
- 通讯作者:S. Apel
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Professor Dr.-Ing. Sven Apel其他文献
Professor Dr.-Ing. Sven Apel的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr.-Ing. Sven Apel', 18)}}的其他基金
Pervolution: Performance Evolution of Highly-Configurable Software Systems
Pervolution:高度可配置软件系统的性能演变
- 批准号:
326071282 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Research Grants
Generating Correct and Efficient Software based on Product-line Technology
基于产品线技术生成正确、高效的软件
- 批准号:
224880482 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Heisenberg Professorships
ExaStencils - Advanced Stencil-Code Engineering
ExaStencils - 高级模板代码工程
- 批准号:
230724189 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Priority Programmes
Techniques and Prediction Models for Sustainable Product-Line Engineering
可持续产品线工程的技术和预测模型
- 批准号:
221150666 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Priority Programmes
Algebra-basierte Feature-orientierte Programmsynthese
基于代数的面向特征的程序综合
- 批准号:
77575276 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants
Foundations and Implications of Socio-Technical Congruence in Large-Scale, Decentralized, and Distributed Software Projects
大规模、去中心化和分布式软件项目中社会技术一致性的基础和含义
- 批准号:
433609794 - 财政年份:
- 资助金额:
-- - 项目类别:
Research Grants
相似海外基金
RESET - Erreichbare Raten, Effiziente Sendeverfahren und Signalverarbeitung für das Broadcast Multihop-Netzwerk
RESET - 广播多跳网络的可实现速率、高效传输方法和信号处理
- 批准号:
200122726 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Research Grants
Maßkonzentration, Derandomisierung und Compressed-Sensing: Effiziente Spitzenwertreduktionsverfahren für MIMO-OFDM-Systeme der nächsten Generation
质量集中、去随机化和压缩感知:下一代 MIMO-OFDM 系统的高效峰值降低方法
- 批准号:
210895225 - 财政年份:2011
- 资助金额:
-- - 项目类别:
Research Grants
Beweisbar sichere, effiziente und langfristig sichere Varianten des Merkle Signaturverfahrens
Merkle 签名过程的可证明安全、高效且长期安全的变体
- 批准号:
164415288 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
Von der Speikobra zum Wasserstrahlschneiden: Mechanismen der impulsartigen Fluidbeschleunigung und deren effiziente Anwendung in der Technik
从吐毒眼镜蛇到水射流切割:脉冲流体加速机制及其在技术中的高效应用
- 批准号:
120034395 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Effiziente Kopplung von Licht und Materie im freien Raum
自由空间中光与物质的有效耦合
- 批准号:
97953722 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Effiziente partikelbasierte Simulation von Flüssigkeiten mit interagierenden deformierbaren und starren Objekten
对具有相互作用的可变形物体和刚性物体的流体进行高效的基于粒子的模拟
- 批准号:
146885396 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Effiziente Synthese konsistenter Graphen und ihre Anwendungen in der digitalen Signalverarbeitung
一致图的高效合成及其在数字信号处理中的应用
- 批准号:
66414569 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Effiziente Messung und Kompression spektral aufgelöster Bidirektionaler Texturfunktionen
光谱解析双向纹理函数的高效测量和压缩
- 批准号:
87529408 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Ionen-Spin-"Molekül" - Ein Vielteilchensystem nach Maß für die effiziente Erzeugung und den Nachweis von verschränkten Zuständen
离子自旋“分子”——专为高效生成和检测纠缠态而定制的多体系统
- 批准号:
69568045 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants
Effiziente Zugriffsmethoden zur Analyse, Modifikation und aggregierten Darstellung multidimensionaler Daten in memory-basierten OLAP-Anwendungen
用于在基于内存的 OLAP 应用程序中分析、修改和聚合多维数据表示的高效访问方法
- 批准号:
63321454 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants (Transfer Project)