用户名  找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Reliable Software Technologies -- Ada-Europe 2012; 17th Ada-Europe Inte Mats Brorsson,Luís Miguel Pinho Conference proceedings 2012 Springe

[复制链接]
楼主: 忠诚
发表于 2025-3-25 06:50:27 | 显示全部楼层
Designing the API for a Cryptographic Libraryts safe use and to hinder implementation errors. This is of special interest when the implementation language is celebrated for its qualification to write reliable safe and secure systems, such as Ada..This paper concentrates on the handling of nonces (“number used once”) and on authenticated encryp
发表于 2025-3-25 09:54:43 | 显示全部楼层
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Dnt of real-time high-integrity systems. Interpreting Dijkstra’s view in this regard, we seek separation of concerns between the specification of needs (expressed declaratively by the user as requirements and assumptions) and the conception of a demonstrable solution for them (which we want to implem
发表于 2025-3-25 13:57:26 | 显示全部楼层
发表于 2025-3-25 19:45:14 | 显示全部楼层
发表于 2025-3-25 22:23:50 | 显示全部楼层
发表于 2025-3-26 01:30:49 | 显示全部楼层
Formal Goal-Oriented Development of Resilient MAS in Event-Bts goals despite changes, e.g., caused by failures of system components. In this paper we propose a formal goal-oriented approach to development of resilient MAS. We formalize the notion of goal and goal achievement in Event-B and propose the specification and refinement patterns that allow us to gu
发表于 2025-3-26 05:45:44 | 显示全部楼层
发表于 2025-3-26 10:48:48 | 显示全部楼层
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unitcribed here is for Ada 2012 and a GNAT bare-board run-time environment, the principles should be applicable to other languages and run-time systems. The TMU has been implemented as a peripheral unit for the Atmel AVR®32 UC3 series of microcontrollers, and test results from simulation with the synthe
发表于 2025-3-26 14:09:47 | 显示全部楼层
Implementing and Verifying EDF Preemption-Level Resource Control). This protocol has proved problematic both in terms of its language definition and implementation. This paper proposes a means of verifying the implementation of complex language features. It describes a prototype tool that allows a comparison to be made between the output of an executing program
发表于 2025-3-26 16:54:58 | 显示全部楼层
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systemstware having hard real-time requirements and constraints over how, when and where they execute. The requirements and constraints are essential to the overall systems dependability and safety (e.g. to ensure replicas execute on different hardware). This leads to a complex design space exploration (DS
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-7-5 20:54
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表