需求规范相关论文
铁路平交道口控制系统是一种典型的安全苛求系统，为提高铁路平交道口的安全性，提出一个能适应双线双向接车的自动控制系统。首先，对现......
近年来随着技术的发展,列车运行控制系统的功能不断增强,为实现不同厂商设备间、地面设备与车载设备间互联互通,使列车能够在轨道......
采用UML与符号模型检验相结合的方法,对CTCS-3级列控系统需求规范进行形式化验证。使用引入事件、可见变量抽象的方法,对需求规范U......
介绍了实时分布式系统的一种转化设计方法.系统的形式化需求规范用时段演算DC(Duration Calculus)描述,系统的设计用规范语言SL(Sp......
<正>"Continental部署PTC公司提供的Integrity RIF(需求交互格式)并不是一次性导入初始的需求规范,而是通过导入更新的客户需求规......
2012年11月14日,国家电网公司在天津组织召开供电电压自动采集系统功能审查会。与会专家听取了国网电科院关于供电电压自动采集系......
软硬件混成系统或嵌入式系统是用信息化带动工业化的关键技术,在各领域有着巨大应用需求.传统的计算机系统软、硬件各自开发的模式......
为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件......
BSS是业务支撑系统（Business Support System）的缩写，与OSS运营支撑系统（Operation Support System）一起统称为BOSS系统，是电信运营商从......
采用基于属性的分析方法，对CTCS-3级列控系统需求规范进行形式化验证。首先建立UML模型并转换为PSL模型。然后通过仿真运行，不断修正......
图1所示是一个常用的DSP实时系统开发的流程图。事实上，在设计需求规范和确定设计目标时，主要要解决二个方面的问题：即信号处理和非信......
中国城市轨道交通协会技术装备专业委员会(简称“专委会”)组织编写的《城市轨道交通全自动运行系统技术规范》(含7个部分)中的《......
形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面......
城市轨道交通在人们的日常生活中扮演着越来越重要的角色,人们对它的安全性和可靠性要求也越来越严格。列车自动防护系统ATP(Autom......
本文给出需求工程的一般框架，在对需求分类的基础上主要讨论非功能性（即非行为性）需求，提出对软件需求规范和分析技术的要求，并强调对现......
根据温州市域S1线一期工程车辆合同的的要求,车辆制动系统需要通过第三方的独立安全评估。介绍了该线车辆制动系统安全评估所进行......
为了实现基于问答驱动迭代的复杂产品的仿真设计，提出了一种在过程设计中，将制定问题、行为模型、仿真模型和决策依据作为独立对象来......
列车运行控制系统(以下简称“列控系统”)需求规范是列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键......
<正>2010年是执行《档案事业发展"十一五"规划》最后一年,为更好完成《规划》中提出的"加强对信息化条件下产生档案管理模式与方法......
软件形式化方法已经在工业领域得到广泛应用,形式化方法已成为提高软件可信性的重要手段。但是在CPS中,软件的体系结构会随着需求......
