Search For:

Displaying 1-11 out of 11 total
Applying the SecRAM Methodology in a CLOUD-Based ATM Environment
Found in: 2013 Eighth International Conference on Availability, Reliability and Security (ARES)
By Antonio Marotta,Gabriella Carrozza,Luigi Battaglia,Patrizia Montefusco,Vittorio Manetti
Issue Date:September 2013
pp. 807-813
The SESAR ATM Security Risk Assessment Methodology (SecRAM) aims at providing a methodology to be applied by the SESAR Operational Focus Areas (OFAs). To give effectiveness to the evaluation of SecRAM, Air Traffic Management (ATM) operative scenarios are g...
Engineering Air Traffic Control Systems with a Model-Driven Approach
Found in: IEEE Software
By Gabriella Carrozza,Mauro Faella,Francesco Fucci,Roberto Pietrantuono,Stefano Russo
Issue Date:May 2013
pp. 42-48
Testing software in air traffic control systems costs much more than building them. This is basically true in every domain producing software-intensive critical systems. Software engineers strive to find methodological and process-level solutions to balanc...
Analysis and Prediction of Mandelbugs in an Industrial Software System
Found in: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST)
By Gabriella Carrozza,Domenico Cotroneo,Roberto Natella,Roberto Pietrantuono,Stefano Russo
Issue Date:March 2013
pp. 262-271
Mandelbugs are faults that are triggered by complex conditions, such as interaction with hardware and other software, and timing or ordering of events. These faults are considerably difficult to detect with traditional testing techniques, since it can be c...
EMMON: A WSN System Architecture for Large Scale and Dense Real-Time Embedded Monitoring
Found in: Embedded and Ubiquitous Computing, IEEE/IFIP International Conference on
By Stefano Tennina,Mélanie Bouroche,Pedro Braga,Ricardo Gomes,Mario Alves,Farrukh Mirza,Vincenzo Ciriello,Gabriella Carrozza,Pedro Oliveira,Vinny Cahill
Issue Date:October 2011
pp. 150-157
Wireless sensor networks (WSNs) have attracted growing interest in the last decade as an infrastructure to support a diversity of ubiquitous computing and cyber-physical systems. However, most research work has focused on protocols or on specific applicati...
On the Evaluation of VM Provisioning Time in Cloud Platforms for Mission-Critical Infrastructures
Found in: 2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)
By Gabriella Carrozza,Luigi Battaglia,Vittorio Manetti,Antonio Marotta,Roberto Canonico,Stefano Avallone
Issue Date:May 2014
pp. 802-810
Cloud Computing has risen a great interest over the last years as it represents an enabling technology for flexible and ubiquitous access over the network to a set of shared computing resources. This work comes from an industrial experience aiming at explo...
Dependability Evaluation and Modeling of the Bluetooth Data Communication Channel
Found in: Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
By Gabriella Carrozza, Marcello Cinque, Domenico Cotroneo, Stefano Russo
Issue Date:February 2008
pp. 245-252
This work presents a measurement-based dependability evaluation of the Bluetooth data communication channel, i.e., the Baseband layer. The main contribution is the definition of the Baseband?s error/recovery model according to the Markov chains formalism. ...
Practical experience and evaluation of continuous code static analysis with C++Test
Found in: Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation (JAMAICA 2013)
By Gabriella Carrozza, Stefano Rosati, Vincenzo Ciriello
Issue Date:July 2013
pp. 19-22
The static code analysis tools are a fundamental instruments to validate the developed code. They allow detecting bugs (as memory leak, accessing arrays out of bounds, etc.. ), structural errors and preventing entire classes of errors. This work refers to ...
An OpenFlow-based architecture for IaaS security
Found in: Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS '13)
By Antonio Marotta, Gabriella Carrozza, Stefano Avallone, Vittorio Manetti
Issue Date:May 2013
pp. 118-121
Cloud Computing technology and its service model, Infrastructure as a Service, are emerging as the leading approaches to encourage the scalable and efficient utilization of resources and the convenient consumption of elastic services. Despite all the advan...
EMMON: a WSN system architecture and toolset for large-scale and dense real-time embedded monitoring
Found in: Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems (SenSys '11)
By Farrukh Mirza, Gabriella Carrozza, Melanie Bouroche, Mario Alves, Ricardo Gomes, Stefano Tennina
Issue Date:November 2011
pp. 349-350
Wireless sensor networks (WSNs) have attracted growing interest in the last decade as an infrastructure to support a diversity of ubiquitous computing and cyber-physical systems. However, most research work has focused on protocols or on specific applicati...
The dark side of DEMMON: what is behind the scene in engineering large-scale wireless sensor networks
Found in: Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems (MSWiM '11)
By Gabriella Carrozza, Mario Alves, Ricardo Gomes, Stefano Tennina, Vincenzo Ciriello
Issue Date:October 2011
pp. 41-50
Most research work on WSNs has focused on protocols or on specific applications. There is a clear lack of easy/ready-to-use WSN technologies and tools for planning, implementing, testing and commissioning WSN systems in an integrated fashion. While there e...
Error detection framework for complex software systems
Found in: Proceedings of the 13th European Workshop on Dependable Computing (EWDC '11)
By Antonio Bovenzi, Domenico Cotroneo, Gabriella Carrozza, Roberto Pietrantuono
Issue Date:May 2011
pp. 61-66
Software systems employed in critical scenarios are increasingly large and complex. The usage of many heterogeneous components causes complex interdependences, and introduces sources of non-determinism, that often lead to the activation of subtle faults. S...