227,146 Hits in 8.9 sec

A Formal Approach to Autonomic Systems Programming

Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
2014 ACM Transactions on Autonomous and Adaptive Systems  
A formal approach to autonomic systems programming: The SCEL Language.  ...  as a running example for describing features and potentials of our approach. , 2014.  ...  We would also like to thank GianLuigi Ferrari for former collaborations and discussions, and Guido Salvaneschi for comments on a previous version of this paper.  ... 
doi:10.1145/2619998 fatcat:zml76kufwrayhooynmvzonftnu

Design, analysis, and implementation of a telemedicine remote consultation and diagnosis session playback using discrete event system specification

P.J. Shah, R. Martinez, B.P. Zeigler
1997 IEEE Transactions on Information Technology in Biomedicine  
We propose the use of discrete event system specification (DEVS) in the design and analysis of a software system, such as RCD.  ...  Currently, object-oriented design methodology is used to design and develop a software system in a modular fashion. Object-oriented software is made of various objects that work together.  ...  Telemedicine RCD was designed and developed using an object-oriented approach to system design and programming.  ... 
doi:10.1109/4233.654861 pmid:11020820 fatcat:b6yl2lqspzgfflyyzxkgtfz3za

A Formal Approach to Connectibility Affordances

Andrew J. Abbate, Ellen J. Bass
2019 IEEE Transactions on Human-Machine Systems  
To support model-based analyses, this research introduces a formal approach: Connectibility Affordance VErification, Modeling, and ENumeration (CAVE-MEN).  ...  She has more than 30 years of human-centered systems engineering research and design experience in air transportation, healthcare, and other domains and the focus of her research is to develop theories  ...  To inform the design of connectible hardware, human factors engineering (HFE) researchers and standards organizations have developed measures that should be tested early in the design process.  ... 
doi:10.1109/thms.2018.2886265 fatcat:xlpwxwzdvjhndb2heo4pw6xbyy

A Formal Approach to Autonomic Systems Programming: The SCEL Language [chapter]

Rocco De Nicola
2015 Lecture Notes in Computer Science  
A formal approach to autonomic systems programming: The SCEL Language.  ...  as a running example for describing features and potentials of our approach. , 2014.  ...  We would also like to thank GianLuigi Ferrari for former collaborations and discussions, and Guido Salvaneschi for comments on a previous version of this paper.  ... 
doi:10.1007/978-3-319-15317-9_2 fatcat:qtbxh3uwebe2pb3pfc5lpcuvya

A Rule-Set Approach to Formal Modeling of a Trusted Computer System

Leonard J. LaPadula
1994 Computing Systems  
This gives high confidence that a real system could clearly derive from the elements of the formal model instead of additionally depending on numerous design and policy decisions not addressed in the model  ...  This article describes a rule-set approach to formal modeling of a trusted computer system.  ...  James V/illiams of The MITRE Corporation for his contribution of a view of the stages of elaboration of requirements for trusted systems and for numerous interactions with me on various issues of formal  ... 
dblp:journals/csys/LaPadula94 fatcat:geeqh75v6zf4de7nsw7oypbsxa

A formal approach towards measuring trust in distributed systems

Guido Schryen, Melanie Volkamer, Sebastian Ries, Sheikh Mahbub Habib
2011 Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11  
The results of the qualitative part include the specification of a formal trust language and the representation of its terms by means of propositional logic formulas.  ...  This paper presents a novel trust measurement method for distributed systems, and makes use of propositional logic and probability theory.  ...  impact of selecting specific services or specific system designs based on their trust perceptions.  ... 
doi:10.1145/1982185.1982548 dblp:conf/sac/SchryenVRH11 fatcat:xqqxntri6jawvli3tszzzci7xu

A formal approach for communication between logically isolated virtual machines

R. M. Jensen
1979 IBM Systems Journal  
A formal approach for communication between logically isolated virtual machines by R. M.  ...  The design and operation of the Virtual Machine Communication Facility is discussed as an approach to offering such communica- tion.  ... 
doi:10.1147/sj.181.0071 fatcat:vhjc33komjeutdqwbtzkj35or4

A Formal Approach to Fixing Bugs [chapter]

Sara Kalvala, Richard Warburton
2011 Lecture Notes in Computer Science  
The specification language uses a combination of syntactic rewrite rules and dataflow analysis generated from temporal logic based conditions.  ...  We propose a combination of source code and bytecode analyses: this allows for using the control flow in the bytecode to help identify the bugs while generating corrected source code.  ...  But if an automated tool is not designed to consider the specification of the program, there is the risk of introducing new bugs into a currently working system.  ... 
doi:10.1007/978-3-642-25032-3_12 fatcat:dtsjgbw3eba7dmqcfyhwfsd2c4

Report on A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems [article]

Danny Weyns, Usman Iftikhar
2021 arXiv   pre-print
A common approach to realize self-adaptation is by adding a feedback loop to the system that monitors the system and adapts it to realize a set of adaptation goals.  ...  This report provides complementary material to the paper "ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems" [Weyns and Iftikhar 2019].  ...  ACTIVFORMS APLIED TO HEALTH ASSISTANCE SYSTEM Stage I: Design and Verify Feedback Loop Model In the first stage of ActivFORMS, a formally verified feedback loop model of the self-adaptive system is developed  ... 
arXiv:2112.06198v1 fatcat:m35lf2amvbgn3bzpxs4muo236u

A formal approach to model refactoring and model refinement

Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens
2006 Journal of Software and Systems Modeling  
Therefore, in this article, we formally define and explore the relation between behaviour inheritance consistency of a refined model with respect to the original model, and behaviour preservation of a  ...  Model-driven engineering is an emerging software engineering approach that relies on model transformation. Typical kinds of model transformations are model refinement and model refactoring.  ...  Specification in Description Logics To be able to verify consistency and preservation, we need a formal specification and a formal reasoning engine relying on this specification.  ... 
doi:10.1007/s10270-006-0025-9 fatcat:kpb4pui4ebexhpeivwgiw5zohe

A system-level synthesis approach from formal application models to generic bus-based MPSoCs

Jens Gladigau, Andreas Gerstlauer, Christian Haubelt, Martin Streubuhr, Jurgen Teich
2010 2010 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation  
We analyze the system-level synthesis flow and define intermediate representations in terms of transaction level models that serve as link between existing tools.  ...  In this paper, we present our efforts towards a comprehensive system-level synthesis by combining two academic system-level solutions into a seamless approach that automatically generates pin-accurate  ...  More specifically, synthesis approaches can be divided into two classes: (1) approaches starting with formal, domain specific models (e.g., based on data flow), and (2) approaches starting with implementation  ... 
doi:10.1109/icsamos.2010.5642076 dblp:conf/samos/GladigauGHST10 fatcat:pjs6j3fybzhlpgx3jtl3wqskwi

Formal approach to a web information system based on story algebra

Bálint Molnár, András Benczúr, Ádám Tarcsi
2012 Singidunum Journal of Applied Sciences  
SINGIDUNUM J 2012  9 (2)  63-73 Bálint M. et al.  Formal approach to a web information system  ...  One of the modeling and analysis approaches is the Artifact Centric Business Process that unifies both the behavioural and information aspects of business processes carried out in a WIS environment.  ...  The Project is supported by the European Union and co-financed by the European Social Fund (grant agreement no. TÁMOP-4.2.2/B-10/1-2010-0030.).  ... 
doi:10.5937/sjas1202063m fatcat:zfbl3uh5xvdwhh7howwvqvzo6e

A New Formal Verification Approach for Hardware-dependent Embedded System Software

Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, J^|^ouml;rg Bormann, Markus Wedler, Minh Nguyen, Dominik Stoffel, Wolfgang Kunz
2013 IPSJ Transactions on System LSI Design Methodology  
This paper describes a method to generate a computational model for formal verification of hardwaredependent software in embedded systems.  ...  The computational model of the combined HW/SW system is a program netlist (PN) consisting of instruction cells connected in a directed acyclic graph that compactly represents all execution paths of the  ...  A good overview on basic approaches, especially as they are relevant in the context of embedded system design, is provided in Refs. [2] and [3] .  ... 
doi:10.2197/ipsjtsldm.6.135 fatcat:2xu5vfvcgjgp5agtwxeqpjrvwe

A Value-Oriented Approach to Business/IT Alignment – Towards Formalizing Purpose in System Engineering [chapter]

João Pombinho, David Aveiro, José Tribolet
2012 Lecture Notes in Business Information Processing  
In this paper, we present and discuss an innovative value-oriented approach to System Design and Engineering.  ...  We believe that the system development process itself is a crucial aspect of this state of affairs and a paradigm shift is required.  ...  Next, specifications for the construction and operation of the OS are devised, in terms of a white-box model (construction design).  ... 
doi:10.1007/978-3-642-31069-0_46 fatcat:pu6v7iu6ejbq7awkzcuccfzi6q

A formalized, taxonomy-driven approach to cross-layer application adaptation

Razvan Popescu, Athanasios Staikopoulos, Antonio Brogi, Peng Liu, Siobhán Clarke
2012 ACM Transactions on Autonomous and Adaptive Systems  
., Staikopoulos, A., Brogi, A., Liu, P., and Clarke, S. 2012. A formalized, taxonomy-driven approach to cross-layer application adaptation.  ...  The complexities involved in dynamically adapting multilayer applications will significantly benefit from formal approaches to its specification.  ...  Our approach, CLAMS, requires less effort as it has been specifically designed to support modifications of the adaptation environment in a flexible and dynamic way.  ... 
doi:10.1145/2168260.2168267 fatcat:jclrzn5n65g2fhscyw7aljjxy4
« Previous Showing results 1 — 15 out of 227,146 results