课题基金 / 基金详情

Combining multiple languages and models of computation for the synthesis of embedded systems

Combining multiple languages and models of computation for the synthesis of embedded systems
结合多种语言和计算模型来综合嵌入式系统
批准号：
5182956
负责人：
Professor Dr.-Ing. Rolf Ernst
金额：
$0.0万
依托单位：
Institut für Datentechnik und Kommunikationsnetze
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
1999
资助国家：
德国
项目状态：
已结题
起止时间：
1998-12-31 至 2003-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5182956?language=en
关键词：
Combiningmultiplelanguagesmodelscomputation

项目摘要

项目成果

Professor Dr.-Ing. Rolf Ernst的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Viele Anwendungen eingebetteter Systeme bestehen aus einer Kombination reaktiven und transformativen Funktionen. Daher werden häufig mehrere Sprachen, die auf unterschiedlichen Berechnungsmodellen ("models of computation") basieren, zur Beschreibung eines einzelnen Systems verwendet. Die verschiedenen Sprachen werden benutzt, da sie für bestimmte Anwendungen oder Implementierungen besonders geeignet sind oder da sie als ("de facto"-) Standard in einem Anwendungsgebiet akzeptiert sind. Der fehlende Zusammenhang zwischen den verschiedenen Sprachen, Methoden und Werkzeugen ist ein wesentliches Hindernis auf dem Weg zu höherer Entwurfsproduktivität und Entwurfsqualität. Ein ähnliches Problem ist die Einbindung von wiederverwendeten Komponenten, die möglicherweise in anderen Sprachen beschrieben sind oder auch nur unvollständig dokumentiert sind. Beispiele hierfür sind Komponenten anderer Hersteller oder "legacy code".
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Conquering MPSoC Complexity with Principles of aSelf-Aware Information Processing Factory - Towards Networked and Data-centric Platforms (IPF 2.0)
  • 批准号：
    391520166
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2017
  • 负责人：
    Professor Dr.-Ing. Rolf Ernst
  • 依托单位：
    Lehrstuhl für Integrierte Systeme (LIS)
TypicalCPA - Typical Worst Case Compositional Performance Analysis
Safety and Availability
Coordination Funds
国内基金
海外基金
基于Multiple Collocation的北半球多源雪深数据长时序融合研究
  • 批准号：
    42001289
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    肖林
  • 依托单位：
    四川农业大学
小胶质细胞的IL-6/JAK/STAT3/MCP-1信号途径在MS/EAE发病过程中的作用
  • 批准号：
    81070958
  • 项目类别：
    面上项目
  • 资助金额：
    32.0万元
  • 批准年份：
    2010
  • 负责人：
    程琦
  • 依托单位：
    上海交通大学
用多重假设检验方法来研究方差变点问题
  • 批准号：
    10901010
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    16.0万元
  • 批准年份：
    2009
  • 负责人：
    徐敏亚
  • 依托单位：
    北京大学
制冷系统故障诊断关键问题的定量研究
  • 批准号：
    50876059
  • 项目类别：
    面上项目
  • 资助金额：
    30.0万元
  • 批准年份：
    2008
  • 负责人：
    谷波
  • 依托单位：
    上海交通大学