Titlebook: Reliable Software Technologies – Ada-Europe 2018; 23rd Ada-Europe Inte António Casimiro,Pedro M. Ferreira Conference proceedings 2018 Sprin

Hallowed

RECUR

相同

On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Taskssor real-time systems is evaluated in the paper for the self-service model and the proxy model, and their relation to the MSRP and the MrsP locking policies is discussed. Extensions to response time analysis for the proxy model with both locking policies are also contributed.

Desert

Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Schedulingche block reloads. In this paper, we improve the analysis by accounting for those two cases towards a more precise estimation of the CRPD upper bounds. The evaluation of the approach on synthetic tasksets reveals a significant reduction of the pessimism in the calculation of the CRPD upper bounds, c

Outspoken

悲觀

手段

Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologieson and interaction, as well as the goodness of fit of the used technologies for system integration and testing. Reflecting on our experience, we distill the lessons we learned in terms of architectural patterns, highlighting the pros and cons we saw in the microservices style and in our technologies

疾馳

Jorge Garrido,Juan Zamorano,Alejandro Alonso,Juan A. de la Puente

TOXIN

Using Safety Contracts to Verify Design Assumptions During Runtimetworthy or inappropriate evidence can lead to a false assurance regarding the safe performance of a system. Having sufficient confidence in safety evidence is essential to avoid any unanticipated surprise during operational phase. Sometimes, however, it is impractical to wait for high quality eviden

注射器

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentationeuse of safety-relevant components in safety-critical systems needs to cover more than just the implementations. As many safety-relevant artefacts related to the component as possible should be reused together with the implementation to assist the integrator in assuring that the system they are deve