A formal approach for the specification and verification of trustworthy component-based systems-Reference-Cited by-同舟云学术

A formal approach for the specification and verification of trustworthy component-based systems

Published:2011-01 Issue:1 Volume:84 Page:77-104
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Mohammad Mubarak,Alagar Vangalur

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference32 articles.

1. AADL, 2009. Architecture Analysis and Design Language. http://www.aadl.info.

2. Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (The Book Grow Out of a Dagstuhl Seminar, June 1995). Vol. 1165 of Lecture Notes in Computer Science,1996

3. The SAVE approach to component-based development of vehicular systems;Åkerholm;Journal of Systems and Software,2007

4. Times: a tool for schedulability analysis and code generation of real-time systems;Amnell,2003

5. Developing and applying component-based model-driven architectures in KobrA;Atkinson,2001

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dependable Service-Oriented Design of Healthcare IoT;2023 IEEE International Conference on Smart Internet of Things (SmartIoT);2023-08-25

2. The Trustworthiness Measurement Model of Component Based on Defects;Mathematical Problems in Engineering;2022-12-12

3. Analysis of Software Trustworthiness Based on FAHP-CRITIC Method;Journal of Shanghai Jiaotong University (Science);2022-09-24

4. The Trustworthiness Measurement Model of Component-based Software Based on the Subjective and Objective Weight Allocation Method;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12

5. Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures;2019 IEEE International Conference on Software Architecture (ICSA);2019-03