支持目标平台硬件与系统模式描述的嵌入式软件建模语言扩展设计

发布时间：2018-04-18 19:25

本文选题：嵌入式软件建模 + SmartC　；参考：《浙江大学》2017年硕士论文

【摘要】：随着对嵌入式软件开发技术的深入研究以及软件复杂度的迅速增加,嵌入式软件建模技术面临着巨大的挑战;与此同时,随着嵌入式软在安全关键领域(如:航空航天、军工电子、船舶控制、核电站等)的广泛应用,模型驱动的软件开发技术在安全关键工程领域中也逐渐得到广泛的关注和应用。传统的嵌入式软件建模技术(如,UML,SysML,AADL,SmartC等)虽然已经在很多领域得到广泛应用,但是,面对当前功能特性快速增加、安全需求逐渐提高的嵌入式软件系统,这些技术或方法目前还存在一些问题,如,缺少对目标运行平台参数的描述(包括:对处理器、存储器、总线、设备等资源的描述);建模语言本身无法对组件模式及模式间的转换过程进行描述,这对软件模型的行为功能的分析与设计带来了困难等等。本文主要工作是分别对支持目标平台硬件设计的嵌入式软件建模以及嵌入式软件模式建模两个问题展开了分析与研究,具体包括以下两个部分:(1)研究了基于SmartC的目标平台设计问题:SmartC是一种联合了基于模型与模型驱动两种软件开发思想的面向汽车电子领域的嵌入式软件建模语言。SmartC建模元素主要是从软件的角度来对系统进行分析与建模。本文在SmartC语言原有建模元素的基础上,提出了一种支持目标平台硬件设计的嵌入式软件建模语言一TPML,该语言增加了如处理器、虚拟处理器、存储器、总线、虚拟总线及设备等硬件资源,以支持对目标平台的嵌入式软件设计。(2)研究了基于SmartC的嵌入式软件模式建模问题:SmartC主要是从嵌入式软件的结构特征、各功能模块间的通信与交互等特性来对软件进行安全性分析。本文在SmartC结构模型的基础上,提出了一种嵌入式软件模式建模方法,该方法抽取出结构模型的行为特征,并采用模式对其进行描述,以支持对嵌入式软件的模式特征及模式转换过程的描述。
[Abstract]:With the in-depth study of embedded software development technology and the rapid increase of software complexity, embedded software modeling technology is facing a huge challenge; at the same time, with embedded software in the key areas of security (such as: aerospace, aviation and aerospace),With the wide application of military electronics, ship control, nuclear power plant and so on, model-driven software development technology has been paid more and more attention in the field of safety critical engineering.Traditional embedded software modeling technology (such as UMLSysMLAADL SmartC etc.) has been widely used in many fields, but in the face of the rapid increase of current functional characteristics, the security requirements of embedded software systems are gradually increased.There are still some problems with these techniques or methods, such as the lack of description of the parameters of the target running platform (including processor, memory, bus, etc.),The description of resources such as equipment, modeling language itself can not describe the component pattern and the transformation process between patterns, which brings difficulties to the analysis and design of the behavior function of software model, and so on.The main work of this paper is to analyze and study the embedded software modeling and the embedded software pattern modeling which support the hardware design of the target platform.This paper studies the target platform design based on SmartC: SmartC is a kind of embedded software modeling language SmartC, which combines two kinds of software development ideas based on model and model drive.Modeling elements are mainly from the point of view of software to analyze and model the system.Based on the original modeling elements of SmartC language, this paper proposes an embedded software modeling language, which supports the hardware design of the target platform. The language adds such as processor, virtual processor, memory, bus, etc.In order to support the embedded software design of the target platform, this paper studies the embedded software pattern modeling problem: SmartC based on SmartC, which is mainly based on the structural characteristics of embedded software.The communication and interaction between the function modules are used to analyze the security of the software.In this paper, based on the SmartC structure model, a method of embedded software pattern modeling is proposed, which extracts the behavior characteristics of the structure model and describes it by pattern.In order to support the embedded software mode features and the description of the mode conversion process.
【学位授予单位】：浙江大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：TP311.52

【参考文献】