机译:一种分析,验证和确认软件密集型嵌入式系统的体系结构方法
Department of Machine Design, KTH Royal Institute of Technology, Stockholm, Sweden;
Volvo Group Trucks Technology, Gothenburg, Sweden;
Department of Machine Design, KTH Royal Institute of Technology, Stockholm, Sweden;
Volvo Group Trucks Technology, Gothenburg, Sweden;
Continental Automotive GmbH, Babenhausen, Germany;
EAST-ADL; Embedded system (ES); Model-based development (MBD); Architecture description language (ADL); Analytical modeling; Model transformation; Model checking; AUTOSAR; ISO26262;
机译:一种分析,验证和确认软件密集型嵌入式系统的体系结构方法
机译:(嵌入式)软件密集型系统的模型驱动的以架构为中心的工程:建模理论和架构里程碑
机译:关于软件密集型系统架构设计中与任务相关的属性的验证
机译:用于软件密集型航空航天系统的验证的正式框架和模型
机译:数据密集型软件系统中自动数据处理的软件架构设计
机译:EZ-Root-VIS:用于快速分析和可视化重建根系统架构的软件管道
机译:(嵌入式)软件密集型系统的模型驱动的以架构为中心的工程:建模理论和架构里程碑