A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A Formal Approach to Autonomic Systems Programming
2014
ACM Transactions on Autonomous and Adaptive Systems
Preserved Fulltext
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
1997
IEEE Transactions on Information Technology in Biomedicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2019
IEEE Transactions on Human-Machine Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1994
Computing Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1979
IBM Systems Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2006
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2012
Singidunum Journal of Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
IPSJ Transactions on System LSI Design Methodology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Business Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
ACM Transactions on Autonomous and Adaptive Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
., 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