10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems最新文献_第2页

Agent-oriented modelling and specification of Web services 面向代理的Web服务建模和规范

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.14

Hong Zhu, L. Shan

引用次数: 22

Specification-based verification and validation of Web services and service-oriented operating systems 基于规范的Web服务和面向服务的操作系统的验证和确认

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.51

W. Tsai, Yinong Chen, R. Paul

引用次数: 45

Enhancing DNS security using the SSL trust infrastructure 使用SSL信任基础设施增强DNS安全性

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.33

C. Fetzer, G. Pfeifer, T. Jim

引用次数: 12

Evaluation of fault-tolerant distributed Web systems 容错分布式Web系统的评估

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.35

Y. Hong, J. No, In Han

引用次数: 5

An adaptable security framework for service-based systems 用于基于服务的系统的适应性安全框架

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.15

S. Yau, Yisheng Yao, Zhaoji Chen, Luping Zhu

{"title":"An adaptable security framework for service-based systems","authors":"S. Yau, Yisheng Yao, Zhaoji Chen, Luping Zhu","doi":"10.1109/WORDS.2005.15","DOIUrl":"https://doi.org/10.1109/WORDS.2005.15","url":null,"abstract":"A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to achieve the system goals, regardless of the programming languages and platforms used to develop and run these services. In these large-scale service-based systems, various capabilities are provided by different organizations and interconnected by various types of networks, including wireless (infrastructure or ad hoc) and wired networks. For these systems which often involve multiple organizations, high confidence and adaptability are of prime concern to ensure that users can use these systems anywhere, any time, through various devices, knowing that their confidentiality and privacy are well protected under various situations. In this paper, an adaptable security framework for large-scale service-based systems is presented. It includes a core ontology and a logic-based situation-aware security specification language for specifying dynamic security policies for service-based systems, an approach to policy conflict detection and resolution, and tools for generating and deploying security agents to enforce security policies. With this framework, various parties of large-scale service-based systems can rapidly specify, update, verify, and enforce security policies in service-based systems to meet their security requirements under various situations.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123672817","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 16

Specification, analysis and implementation of architectural patterns for dependable software systems 对可靠软件系统的体系结构模式进行规范、分析和实现

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.50

S. Yau, S. Mukhopadhyay, Ramesh Bharadwaj

{"title":"Specification, analysis and implementation of architectural patterns for dependable software systems","authors":"S. Yau, S. Mukhopadhyay, Ramesh Bharadwaj","doi":"10.1109/WORDS.2005.50","DOIUrl":"https://doi.org/10.1109/WORDS.2005.50","url":null,"abstract":"Ensuring dependability of distributed applications is a difficult problem since developers must carefully consider issues such as network and node failures, deadlocks, live-locks, starvation, distributed coordination, and synchronization. The creation of architectural patterns for dependable software systems can provide effective guidelines, similar to design patterns, to system architects. In this paper, we present an agent specification language, associated tools, and agent-based middleware for specifying, analyzing and implementing architectural patterns for dependable software systems. The language we present is an extension of the secure operations language (SOL), which supports the behavioral specification of agents in addition to specification of agent interfaces, agent composition, and inter-agent interactions. Extended SOL can be used in the design of architectural patterns that implement the security, real-time, and fault-tolerance requirements of a given application. SOL also supports early and automated analyses of an application's functional requirements with respect to performance critical properties. Further, the language has a precisely defined semantics for composition, which enables the automated analysis of architectural designs and the impact of design choices on dependability requirements. The agent-based middleware secure infrastructure for networked systems (SINS), being developed at the Naval Research Laboratory, enables the rapid development and deployment of dependable distributed applications. Architectural patterns specified in extended SOL can be used to automatically derive an implementation, and to assign SINS agents to processors that constitute the distributed execution environment.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115022544","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 13

A framework for preparing experimental evaluation of rerouting mechanisms 准备对改道机制进行实验评估的框架

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.6

R. B. Correia, L. Carmo, L. Pirmez, L. Bacellar

{"title":"A framework for preparing experimental evaluation of rerouting mechanisms","authors":"R. B. Correia, L. Carmo, L. Pirmez, L. Bacellar","doi":"10.1109/WORDS.2005.6","DOIUrl":"https://doi.org/10.1109/WORDS.2005.6","url":null,"abstract":"Among the various QoS schemes that have already been proposed, rerouting critical flows is the most promising for its inherent ability to interface easily with management systems. To enhance the responsiveness, the operations performed by rerouting mechanisms should be done pro-actively. A pro-active network management using rerouting mechanisms was proposed by Correia et al., (2003). Recently, the proposed approach was selected to be deployed in an experimental fiber-optic gigabit backbone (GIGA project - sponsored by the Brazilian Research Network - RNP). The fundamental problem is how to specify critical factors and to develop a consistent set of tests for a complete field evaluation of the implementation. The constraints associated with this process are reduced deployment time and restricted availability of the network infrastructure for testing. This paper discusses a framework for deploying the rerouting mechanisms proposed by Correia et al. (2003) using DOE (design of experiments) analysis (Phadke). It is shown how rapidly some conclusions about performance, stability and interdependence upon the selection of design parameters can be taken through the use of DOE. Basically, MatLab models have been used to support the DOE analysis. This paper shows how the use of simple two and three-level factorial experimental designs can rapidly increase the designer's knowledge about the behavior of the mechanisms being studied.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123764767","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Experiments with WCET-oriented programming and the single-path architecture 实验与面向wcet的编程和单路径架构

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.36

P. Puschner

引用次数: 31

Design and implementation of fault-tolerant transactional agents for manipulating distributed objects 用于操作分布式对象的容错事务代理的设计和实现

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.24

Y. Tanaka, T. Enokido, M. Takizawa

引用次数: 0

Autonomous agents and anticipative systems 自主代理和预期系统

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI: 10.1109/WORDS.2005.20

M. Ramos, Félix F. Ramos

引用次数: 2