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.
在软件工业和汽车工业中,产品和技术不是最重要的,也是最重要的。软件生产是一种系统化的软件生产,软件制造的基础是软件系统化、系统化。Einzelne Software Produckte einer Software Producktlinie Unterscheiden Sich in ihren Feature,D.H.in EinzelFunktionalitäten,die sie dem kunden bieten.DER KUNDE Wählt die Gewünschten的特点是Aus和Ein发电机设置的是Zusamman。Bisher Wurden Wichtige Aspeckte Wie Sinherheit and Effizienz von Software Productlinien Net Ereichend erforscht.MIT derzeitigen Techniken is NICht Möglich,die Korrektheit von Generierten Software Produdukten zu garantieren and deren Effizienz zu Optimieren.它是一种在工业中采用von Produktlinien的方式,并且Produktlinien已经在潜在的Zur EffizienzOptimierung,das时刻很好地使用了。这是一项来自德国、意大利、墨西哥、德国等国家和地区的软件自动化产品的项目。
项目成果
期刊论文数量(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 Messung und Kompression spektral aufgelöster Bidirektionaler Texturfunktionen
光谱解析双向纹理函数的高效测量和压缩
- 批准号:
87529408 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Effiziente Synthese konsistenter Graphen und ihre Anwendungen in der digitalen Signalverarbeitung
一致图的高效合成及其在数字信号处理中的应用
- 批准号:
66414569 - 财政年份: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)