Industrial Deployment of System Engineering Methods
Industrial Deployment of System Engineering Methods
复制标题
系统工程方法的工业部署
DOI：
10.1007/978-3-642-33170-1_3
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Gmehlich R
中科院分区：
文献类型：
--
作者：
Gmehlich R
本章介绍了在汽车零部件公司Bosch（Robert Bosch GmbH）的部署经验。分析了典型的挑战和实践，然后详细描述了博世研究所采用更正式的方法进行实验的过程。一个结论是，需要半形式化的方法来弥合初始（自然语言）需求和在Event-B中创建形式化模型之间的差距。同样重要的是要注意，开发过程揭示了问题框架方法中使用的细化和事件B中设想的细化之间的差异。最后，分析了主要支持联系人（纽卡斯尔大学）获得的经验，希望这些经验教训能够对未来的项目有所帮助。
This chapter sets out the experience of deployment in the automotive components company Bosch (Robert Bosch GmbH). An analysis of the typical challenges and practices is followed by a detailed description of the process used to experiment with the adoption of more formal methods by Bosch Research. One conclusion is that there is a need for semi-formal methods for bridging the gap between the initial (natural language) requirements and the creation of a formal model in Event-B. It is also important to note that the process of development reveals differences between refinement as used in the Problem Frames Approach and that envisaged in Event-B. Finally, the experience gained by the main support contact (Newcastle University) is analysed in the hope that these lessons will assist future projects.
登录
查看更多内容
形式化或不形式化
DOI：
--
发表时间：
1996
期刊：
影响因子：
--
作者：
M. Hinchey;Jonathan P. Bowen
通讯作者：
Jonathan P. Bowen
大型项目 B：Canarsie Line CBTC 体验
DOI：
--
发表时间：
2007
期刊：
Formal Specification and Development in B
影响因子：
--
作者：
D. Essamé;Daniela Dolle
通讯作者：
Daniela Dolle
Aamp5 微处理器的形式验证 1 2.1 Aamp 系列微处理器 2.2 Pvs 2.3 挑战的历史视角/规模 2.4 技术方法概述
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
Yanpu Zhao;W. Fu
通讯作者：
W. Fu
验证星载卫星软件的模式一致性
DOI：
--
发表时间：
2010
期刊：
International Conference on Computer Safety, Reliability, and Security
影响因子：
--
作者：
A. Iliasov;E. Troubitsyna;L. Laibinis;A. Romanovsky;Kimmo Varpaaniemi;Pauli Väisänen;D. Ilic;T. Latvala
通讯作者：
T. Latvala
使用连续实函数对定时历史建模
DOI：
--
发表时间：
1991
期刊：
影响因子：
--
作者：
Brendan P. Mahony;I. Hayes
通讯作者：
I. Hayes