Sofia Tsasakou

Security issues in a SOA-Based provenance system

Recent work has begun exploring the characterization and utilization of provenance in systems based on the Service Oriented Architecture (such as Web Services and Grid based environments). One of the salient issues related to provenance use within any given system is its security. Provenance presents some unique security requirements of its own, which are additionally dependent on the architectural and environmental context that a provenance system operates in. We discuss the security considerations pertaining to a Service Oriented Architecture based provenance system. Concurrently, we outline possible approaches to address them.

High-level co-simulation based on the extension of processor simulators

Abstract Hardware–software co-design is the cornerstone in the design of complex systems that involve both hardware and software. This paper presents a co-design approach where the co-simulation between hardware and software takes place early enough in the design cycle. The proposed platform is based on the extension of existing instruction set processor simulators in order to encapsulate hardware block description in the required and adequate accuracy level. The simplicity of the proposed technique as well as the use of homogeneous simulation environment, leads to a co-simulation alternative that is easy to implement and use. The applicability of the co-simulation environment developed is exhibited through the design and co-simulation, at various abstraction layers, of a telecommunication application. The latter, is based on the MAC layer and the RF-IF part of the Physical layer of the DECT protocol stack.

Hardware-software co-design of embedded systems using CoWare's N2C methodology for application development

The aim of this paper is to present the technology assessment of the N2C of CoWare inc. approach in the co-design/co-simulation problem. The test bench to be used is a telecommunication application implementing the Medium Access (MAC) layer and the RF-IF part of the Physical (PHY) layer of the DECT protocol stack. These are part of a single-chip solution for the baseband processor of a mobile phone. This approach will be evaluated in comparison with the current industrial practice. N2C technology aims to fill very specific gaps in existing tool platforms and more specifically: high-level system modeling, HW-SW co-simulation and interface generation. It also supports additional co-design tasks like partitioning and co-synthesis. The final goal of this assessment is to isolate and point out the actual industrial needs for co-design through the evaluation of N2C according to the above characteristics.

Application of a multi-formalism co-design methodology for the development of complex telecommunication protocols

The increase in complexity of embedded systems and the demand for earlier prototypes are putting strict requirements on methodologies and supporting tools. Hardware-software co-design is a new design technique that is intended to respond to such requirements by automating and optimizing the joint development of hardware and software. The approach presented in this paper offers a coherent couple methodology-toolset for the entire design cycle of embedded telecommunication systems. Both the methodology and toolset correspond to real-world design cases.

System-on-a-chip methodology for telecom applications

This paper presents a methodology for system-on-chip application development. The complexity of such systems requires a series of development stages where the designer has to capture system requirements through formal specification languages, select the appropriate architectural platform for implementing the final system realization, provide detailed design for hardware and software parts, and finally validate the system under development before the actual implementation. The proposed design framework leads from specification down to implementation, where a virtual prototype is produced as the last stage of system design.

Hardware — Software co-design of embedded telecommunication systems

In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to handle different in nature models in a coherent way. The supported formalisms cover a wide area of application domains, allowing the designer to select the notations that are mostly appropriate for his/her application. The proposed co-design development cycle provides a full blown path from system specification to a virtual prototype of the system under construction. The methodology has been applied for the design and implementation of a MAC layer protocol, named MASCARA, for providing ATM QoS over wireless connections.