1,721,193 research outputs found
Developing Secure Cloud Applications
No full textToday the main limit to Cloud adoption is related to the perception of a security loss the users have. Indeed, the existing solutions to provide security are mainly focused on Cloud service provider prospective in order to securely integrate frameworks and Infrastructures as a Services in a Cloud datacenter. Customer could not monitor and evaluate the security mechanisms enforced by service provider. Service Level Agreements mainly focus on performance related terms and no guarantees are given for security mechanisms. Customers are interested in tools to verify and monitor the implemented security requirements. On the other hand, developers need tools to deploy Cloud applications offering measurable security grants to end users. In this paper, we propose an approach to implement security mechanisms as components in the application design process. We modeled security interactions according to the specific threat, the specific security requirements and user/application capabilities trying to improve security. It enables a Service Provider to offer security guarantees to customers. The approach has been designed to fit with different Cloud platforms, but to demonstrate its applicability, we will present a case study on the mOSAIC Platform
A CASE system for Petri net modelling of CSP-like programs
No full textJohn Wiley & Sons, Chichester, U
A case study of application analytical modeling in heterogeneous computing environments: Cholesky factorization in a NOW
No full text
Building formal models of concurrent and distributed systems: an experience in applicability with two different Petri nets approaches
No full textThis paper presents an experience in building formal models for the specification and design of concurrent and distributed systems. In particular our work is oriented to state the real applicability of formal methods in industrial settings, where practical engineering means are needed in modeling and evaluating complex systems. Here a standard voting system is used to compare a SAN-based and an event driven GSPN based approach
Virtual Scan Chains for online testing of FPGA-based embedded systems
No full textWhile techniques for offline testing of FPGAs, either manufacturing-oriented or application-oriented, are today relatively mature, in critical applications such as avionics, space, and even numerous commercial products it is often necessary to perform online testing. In this paper, we present a technique for online testing of digital designs implemented on an FPGA. The approach enables application-oriented testing, in that it covers the subset of the FPGA which is actually used for the implemented design, and considers scenarios where the FPGA component is a part of a larger embedded system. The proposed approach is in fact based on a software framework, which acts as an abstraction layer for reconfigurable hardware resources. Essentially, the framework exposes to software applications a Register-Transfer Level view of the underlying hardware, allowing test procedures to be implemented as software programs. Our approach is especially advantageous when memory is a constraint, the case of many embedded systems. As proved by experimental results, in fact, test procedures turn out to be very compact and much more memory-efficient than conventional approaches relying on static sets of FPGA testing configurations to be stored in system memory
- …
