形式化描述语言(SDL)在嵌入式操作系统Vxworks上的软件开发

结合ATM 10G交换机的网络信令的研发过程,介绍了形式化描述语言(SDL)在嵌入式操作系统Vxworks上的软件开发。主要内容包括工具介绍(Object Geode ＆ Vxworks)、SDL用于软件的开发过程、仿真和验证、代码生成和可执行代码下载到目标机执行几个部分。     

TD-LTE系统连接建立过程的研究与实现

在LTE协议栈的层次结构中,无线资源控制(RRC,Radio Resource Control)层位于第三层属于控制平面,RRC控制功能对LTE系统的性能和行为有着重要影响,同时RRC连接建立过程是在整个通信过程中一个重要环节。RRC连接建立过程是网络端和终端对等层之间的建立,基于网络端的RRC建立过程详细描述其实现流程,对RRC层协议特性进行合理的设计和实现。使用SDL与C代码相结合的方法进行具体实现,同时详细介绍以RRC连接过程为例所使用的SDL设计的思想方法以及对设计的结果采用TTCN工具进行测试验证并得出相应结果。     

基于SDL的通信协议开发平台

SDL当前已经普遍应用在通信协议开发中,介绍了一个基于SDL的通信协议开发平台框架和平台中对SDL关键元素的实现方法,通过这个平台提高了通信协议开发中从SDL描述到代码开发的效率和代码的可维护性。     

嵌入式Linux智能抄表终端软件代码审查技巧

在电力电网中大量使用的智能抄表终端,80%以上采用了Linux加ARM的体系架构,其软件开发均采用C/C++语言。在软件代码的单元测试阶段,如何结合Linux编程环境和智能抄表终端软件的特点,有针对性的进行代码审查,快速发现大量问题,为下游环节提供安全可靠的软件版本,本文根据大量的工作实践,系统的总结了在嵌入式Linux编程环境下,智能抄表终端软件的代码审查技巧。     

用SDL语言开发交换系统软件

主要介绍了交换系统软件的一般特征及SDL语言的基本概念、SDL语言的新进展,阐述了SDL语言在交换系统软件中的重要作用,介绍了SDL开发工具的基本情况,并提出了用SDL语言设计、开发交换系统软件的一般步骤。     

μC／OS-Ⅱ在Coldfire MCF52235上的移植

介绍将μC／OS-Ⅱ实时操作系统移植到Coldfire处理器MCF52235上的方法,为MCF5223x系列微控制器的软件开发提供了一个实时操作系统平台。首先分析μC／OS-Ⅱ的特点和内核结构。结合MCF52235的结构特点以及使用的软硬件开发工具。深入研究移植条件和实现方法,详细阐述系统移植中需要修改的文件、编写的代码及需要注意的问题。然后使用Codewarrior6．4集成开发环境和评估板,通过建立两个应用任务,验证了移植代码的正确性,说明在MCF52235上移植μC／OS-Ⅱ是成功和可行的。在此介绍的移植过程和方法可以作为μC／OS-Ⅱ在其他微控制器中移植的典型范例。     

通信对抗训练目标信号环境构设规划软件

通信对抗训练目标信号环境构设规划软件旨在解决基于模拟信号源的目标信号环境构设问题。简要介绍了软件的模块组成及运用方法;建立了等效逼真度评估指标并给出了评估方法和计算模型;提出了由配置位置规划、发信任务规划和动态阶段规划组成的构设规划算法;实例验证了模型和算法的可行性及软件的实用性。     

目标码覆盖率分析在PPC目标环境中的应用

提出了一种对编译器产生的目标代码覆盖率的分析方法。传统的结构化语言的覆盖技术使用的是源代码级的,无法对编译器产生的代码进行验证,本文介绍了VerOCode软件在PPC目标环境中目标码覆盖率的分析验证。     

基于SDT安全访问控制的方法

网络的迅速发展为信息的获取提供了更广阔的渠道,同时也带来了严重的安全隐患。提出了一种基于思想的访问控制方法,通过软件动态翻译器将不可信二进制代码隔离执行,在动态执行的过程中,由SDT控制将用户设定的安全策略强制加入可执行代码中,从而软件动态翻译器便通过安全策略来控制应用程序对系统资源的访问。并基于Strata实现了该机...     

SDL在某机载显控系统仿真中的应用

分析了SDL（规范与描述语言）的主要优点,给出了使用SDL进行系统开发时系统的组成结构。介绍了机栽显控系统仿真的背景、仿真的主要方法以及仿真的需求和系统实现的主要功能。提出了机栽显控系统仿真的结构,重点给出了运用SDL进行机栽显控系统仿真设计的方法。     

进程创建顺序的行为波动效应分析

波动效应是导致大型软件系统维护费用昂贵的一个重要原因。本文基于CCITT推荐,并已在电信领域广泛应用的SDL语言研究了一种修改进程创建顺序而引起的行为波动效应现象。文中提出了进程创建式,进程创建顺序约束断言等概念。然后严格构造了一个称之为X的公理系统。从而使波动效应的分析归结为该公理系统中的演绎推理。最后给出一个例子。     

基于SDL的通信软件维护模型SMM

软件维护是软件生存周期的一个重要且花费很大的阶段，维护工作的自动化是软件行业十分迫切的需要。本文提出了一个基于ＩＴＵ－ＴＳＤＬ语言的通信软件维护模型ＳＭＭ。在此模型中，软件维护被分成三个部分：建立面向维护的数据库，制定维护规范和基于功能转换的自动维护。该模型将有助于软件维护支撑环境的建立     

FMECA在雷达软件工程中的应用

在雷达软件开发时,需要把可靠性分析技术应用到软件开发中,识别软件故障模式,形成软件故障预防措施。文中主要研究如何在雷达软件需求开发和设计中使用可靠性分析技术,并以雷达系统中典型软件为例提出在软件工程过程中实施功能故障模式、影响及危害性分析(FMECA)和软件FMECA的技术途径。     

一个SDL集成环境IES

随着SDL的日趋完善,对SDL集成环境的需求更加迫切。本文先就国外在此方面的研究作一概述,然后着重介绍我们建立的SDL集成环境IES的原理和实现方法,并描述了SDL的应用前景。