Filters








67 Hits in 3.2 sec

Painless Support for Static and Runtime Verification of Component-Based Applications [chapter]

Nuno Gaspar, Ludovic Henrio, Eric Madelaine
2015 Lecture Notes in Computer Science  
In this paper we present Painless, a novel ADL with a declarative trait supporting parametrized specifications and architectural reconfigurations.  ...  Such descriptions give a high-level overview and come from the need to cope with arbitrarily complex dependencies arising from software components.  ...  Further, it is XML-based: while it may be suitable for tools, it is a rather verbose and static description of the architecture.  ... 
doi:10.1007/978-3-319-24644-4_18 fatcat:6ipgjozarrdf7arjswzft6czs4

Customizing Service Platforms (Dagstuhl Seminar 13171)

Luciano Baresi, Andreas Rummler, Klaus Schmid, Marc Herbstritt
2013 Dagstuhl Reports  
As part of the seminar, we identified a number of key areas which provided the basis for highly interactive working groups.  ...  The aim of the seminar was to bring together researchers from different areas of academia and industry that are related to the seminar topic and typically do not intensively interact with each other.  ...  In particular, the group discussed the approach of the SAS-LeG project (Software As Service for the varying needs of Local eGovernments) 2 , where (static) customization at compile time is applied to customize  ... 
doi:10.4230/dagrep.3.4.114 dblp:journals/dagstuhl-reports/BaresiRS13 fatcat:fyscueobxbeufhyzjo4n2qenh4

Using C language extensions for developing embedded software: a case study

Markus Voelter, Arie van Deursen, Bernd Kolb, Stephan Eberle
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015  
We report on an industrial case study on developing the embedded software for a smart meter using the C programming language and domain-specific extensions of C such as components, physical units, state  ...  Our case study relies on mbeddr, an extensible version of C. mbeddr, in turn, builds on the MPS language workbench which supports modular extension of languages and IDEs.  ...  Al-Wakeel of the King Saud University as well as Abdelghani El-Kacimi of itemis France for their advice and the permission to write about the smart meter projet.  ... 
doi:10.1145/2814270.2814276 dblp:conf/oopsla/VoelterDKE15 fatcat:womw253xlfa4jkepli5oypr4he

Modeling adaptation with a tuple-based coordination language

Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
2012 Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12  
Our study relies on the formal coordination language Klaim as a common framework for modeling some well-known adaptation techniques: the IBM MAPE-K loop, the Accord component-based framework for architectural  ...  In this paper, we present an investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and use of the mechanisms and techniques  ...  This is the case, for example, of such component-based programming systems as CORBA Component Model [37] and Common Component Architecture [5] .  ... 
doi:10.1145/2245276.2232019 dblp:conf/sac/GjondrekajLPT12 fatcat:gdnlst7krrbvjpihjo65cemepm

Modeling adaptation with Klaim

Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
2012 ACM SIGAPP Applied Computing Review  
Our study relies on the formal coordination language Klaim as a common framework for modeling some well-known adaptation techniques: the IBM MAPE-K loop, the Accord component-based framework for architectural  ...  In this paper, we present an investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and use of the mechanisms and techniques  ...  This is the case, for example, of such component-based programming systems as CORBA Component Model [37] and Common Component Architecture [5] .  ... 
doi:10.1145/2432546.2432548 fatcat:auqzyppsgvgd7e724htwi75hbu

Using C language extensions for developing embedded software: a case study

Markus Voelter, Arie van Deursen, Bernd Kolb, Stephan Eberle
2015 SIGPLAN notices  
We report on an industrial case study on developing the embedded software for a smart meter using the C programming language and domain-specific extensions of C such as components, physical units, state  ...  Our case study relies on mbeddr, an extensible version of C. mbeddr, in turn, builds on the MPS language workbench which supports modular extension of languages and IDEs.  ...  Al-Wakeel of the King Saud University as well as Abdelghani El-Kacimi of itemis France for their advice and the permission to write about the smart meter projet.  ... 
doi:10.1145/2858965.2814276 fatcat:jl5kpfyrebhdtkr57d6vk754oy

UROBOROS: Instrumenting Stripped Binaries with Static Reassembling

Shuai Wang, Pei Wang, Dinghao Wu
2016 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER)  
UROBOROS supports complete instrumentation by statically recovering the relocatable program (including both code and data sections) and the control flow structures from binary code.  ...  In this paper, we present an instrumentation tool called UROBOROS, which supports static instrumentation on stripped binaries.  ...  This research was supported in part by the National Science Foundation (NSF) grants CNS-1223710 and CCF-1320605, and the Office of Naval Research (ONR) grant N00014-13-1-0175.  ... 
doi:10.1109/saner.2016.106 dblp:conf/wcre/WangWW16 fatcat:3m4gxbxt4bdg5aqs2sdxokjju4

A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems

Michael Ocean, Assaf Kfoury, Azer Bestavros
2009 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software  
A shared Sense-and-Respond infrastructure that is embedded into a physical environment requires considerable run-time support to facilitate the dynamic dispatch and execution of new service instances.  ...  The type-system automatically infers data types that are annotated with a vector of type specific attributes and uses these annotations to establish and verify a range of resource constraints (bounds for  ...  Unlike other sized type systems our work tracks both an upper and lower size bound for data, defines a logical subtype relation for images capable of bounding computation, maintaining functional correctness  ... 
doi:10.1109/mompes.2009.5069135 dblp:conf/mompes/OceanKB09 fatcat:t74iylyo35epziietsryxxl6gi

Migrating to SOAs by Way of Hybrid Systems

John Hutchinson, Gerald Kotonya, James Walkerdine, Peter Sawyer, Glen Dobson, Victor Onditi
2008 IT Professional Magazine  
of services. 34 IT Pro January/February 2008 P u b l i s h e d b y t h e I E E E C o m p u t e r S o c i e t y 1520-9209/08/$25.00  ...  A progressive-evolution strategy for migrating systems to serviceoriented architectures should minimize the risk to investments in existing software systems while letting businesses exploit the benefits  ...  Acknowledgments We performed this work as part of the European IST funded Service Centric System Engineering Project (http://secse.eng.it).  ... 
doi:10.1109/mitp.2008.15 fatcat:xn33d2b475gabmro35dtgas6re

Ten Commandments of Formal Methods ...Ten Years Later

J.P. Bowen, M.G. Hinchey
2006 Computer  
We also acknowledge the contributions of the formal methods community as a whole and thank them for providing us with material on which to base the original commandments.  ...  Special thanks go to Tiziana Margaria and Mieke Massink, co-chairs of FMICS 2005, and George Eleftherakis, chair of SEEFM 2005, for inviting earlier conference presentations of this material, in the former  ...  The idea is to then spend more time improving the quality of components targeted for reuse. Both OO and component-based paradigms exploit the idea of reuse.  ... 
doi:10.1109/mc.2006.35 fatcat:dyu5t3vj2zclvjdrramc256t54

Formal hardware specification languages for protocol compliance verification

Annette Bunker, Ganesh Gopalakrishnan, Sally A. Mckee
2004 ACM Transactions on Design Automation of Electronic Systems  
originally intended for hardware and software design and verification activities.  ...  We frame our comparison by first constructing a taxonomy of these languages, and then by discussing the applicability of each approach to the compliance verification problem.  ...  Finally, advance planning of the verification method, class hierarchy, and a support library are vital to the success of a verification project based on OpenVera.  ... 
doi:10.1145/966137.966138 fatcat:hffgv4stqnhlxohm4ojyuu3lfq

Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications

Jannis Stoppe, Rolf Drechsler
2015 Sensors  
SystemC is a C++ library for the design of hardware/software systems, enabling the designer to quickly prototype, e.g., a distributed CPS without having to decide about particular implementation details  ...  during the design of a system using SystemC.  ...  Acknowledgments Supported by the Federal Ministry of Education and Research (BMBF) under Grant 01IW13001 (SPECifIC).  ... 
doi:10.3390/s150510399 pmid:25946632 pmcid:PMC4481889 fatcat:vnkiqlce3jgphhdeyvzlueablu

Industry Use Cases For The Java Environment For Parallel Realtime Development

Frederic Lamy, Tobias Schoofs
2011 Zenodo  
Tools for efficient development of reliable embedded software are demanded. This is in particular true for tools that are able to guarantee hard real-time requirements.  ...  The first use case is a radar application developed at Cassidian in Ulm, Germany, where hard real-time requirements and demanding performance requirements had to be met; the second is an avionics application  ...  For all architectures, the project developed efficient support for higher level os and Java based services.  ... 
doi:10.5281/zenodo.11387 fatcat:qxqrdp5s6vferopwguuisia6h4

Writing Parsers Like it is 2017

Pierre Chifflier, Geoffroy Couprie
2017 2017 IEEE Security and Privacy Workshops (SPW)  
We discuss the advantages and difficulties of this solution, and we present two cases of how to implement safe parsers and insert them in large C projects.  ...  The implementation is provided as a set of parsers and projects in the Rust language. IEEE Symposium on Security and Privacy Workshops  ...  Rust is based on the LLVM toolchain, so the verifications were done by compiling Rust code to LLVM intermediate runtime language, and analyzing it. a) Memory model: Rust uses compact structures as much  ... 
doi:10.1109/spw.2017.39 dblp:conf/sp/ChifflierC17 fatcat:iyzoreeu35gddprin53y7jqf2m

Finding resume and restart errors in Android applications

Zhiyong Shan, Tanzirul Azim, Iulian Neamtiu
2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016  
While smartphone platforms offer API support for data-saving and data-retrieving operations, the use of this API is ad-hoc: left to the programmer, rather than enforced by the compiler.  ...  To help address this problem, we have constructed a tool chain for Android (the KREfinder static analysis and the KREreproducer input generator) that helps find and reproduce such incorrect handling.  ...  Acknowledgments We thank Gogul Balakrishnan and the anonymous referees for comments on this work. This work was supported in part by a Google Research Award.  ... 
doi:10.1145/2983990.2984011 dblp:conf/oopsla/ShanAN16 fatcat:m5bzpke7djfnnk2ljetwory6au
« Previous Showing results 1 — 15 out of 67 results