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,并在保证安全的情况下实现安全性,并在信息基础上实现高效的软件产品自动生成。

项目成果

期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Presence-Condition Simplification in Highly Configurable Systems
Variability-aware performance prediction: A statistical learning approach
可变性感知性能预测:一种统计学习方法
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)
Using bad learners to find good configurations
使用糟糕的学习器来找到好的配置
{{ 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)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了