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.
Filters
Formal Verification of a Space System's User Interface With the IVY Workbench
2016
IEEE Transactions on Human-Machine Systems
Preserved Fulltext
This paper describes the application of the IVY workbench to the formal analysis of a user interface for a safetycritical aerospace system. ...
The operations manual of the system was used as a requirements document and this made it possible to build a reference model of the user interface, focusing on navigation between displays, the information ...
Formal methods are able to provide such systematic and exhaustive analysis. ...
doi:10.1109/thms.2015.2421511
fatcat:ngnnguh4ufecrbpgtayskgvtqa
Automated prototyping tool-kit (APT)
2002
Information 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 2018; you can also visit the original URL.
The file type is application/pdf.
APT has been used successfully as a research tool in prototyping large war-®ghter control systems (e.g. the command-and-control station, cruise missile¯ight control system, patriot missile defense systems ...
Automated prototyping tool-kit (APT) is an integrated set of software tools that generate source programs directly from real-time requirements. ...
After some requirements analysis, the designer uses the APT PSDL editor to draw data¯ow diagrams annotated with nonprocedural control constraints as part of the speci®cation of a hierarchically structured ...
doi:10.1016/s0020-0255(01)00174-8
fatcat:lzpf3q6ktbbofe5jzw7gbjbt2a
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog
[chapter]
2013
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 2018; you can also visit the original URL.
The file type is application/pdf.
By the explicit representation of properties and the availability of tools to support checking these properties, it becomes possible to provide developers with means for systematic exploration of the behavioral ...
While behavioral models of interactive systems using formal description techniques provide complete and unambiguous descriptions of states and state changes, it does not provide explicit representation ...
A -Screenshot of weather radar displays, B -Screenshot of the weather radar control panel
Formal specification of WXR application with Petshop
Formal verification of WXR application with JPF Our goal ...
doi:10.1007/978-3-642-39232-0_33
fatcat:qq5i5tnki5ct3o6mlkljffyjda
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments
[chapter]
2012
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 2018; you can also visit the original URL.
The file type is application/pdf.
As the user interface as a part of command and control systems may represent a huge quantity of code, User Interface Tools must provide ways to address this complexity. ...
main control interface for such systems. ...
doi:10.1007/978-3-642-34347-6_5
fatcat:vgx5xiljgff2jbtnnglp6coqku
Supporting the Analysis of Safety Critical User Interfaces
2020
ACM Transactions on Computer-Human Interaction
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.
These tools have been developed to support the model based analysis of critical user interfaces. ...
Use error due to user interface design defects is a major concern in many safety critical domains, for example avionics and healthcare. ...
Early prototyping loop Formal analysis tools, aimed at describing interfaces and systematically analyzing the properties of the interface, have been developed by a number of researchers. ...
doi:10.1145/3404199
fatcat:tnkeszl5g5fivdtcmscz5cqbtq
Development of Dependable Controllers in the Context of Machines Design
[chapter]
2014
Lecture Notes in Mechanical Engineering
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.
Nowadays, some formal analysis techniques, such as formal verification, are used to achieve this purpose. The dependability of a controller, however, is impacted by its execution context. ...
behavior of the Human Machine Interface of the Mechatronic system. ...
The first two steps are very well studied and there are formalisms and tools that can be used to perform them. ...
doi:10.1007/978-3-319-05203-8_18
fatcat:f2ie73rtkng5jm3rpn3ko4fbse
Automatic Model Driven Animation of SCR Specifications
[chapter]
2003
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 2006; you can also visit the original URL.
The file type is application/pdf.
of scenarios. ...
Automatic model driven animation consists in automatically deriving scenarios from requirements specifications; these scenarios are used to animate critical system behaviors through a graphical interface ...
architecture
Figure 4 . 4 Control Panel
Figure 5 . 5 [2] uses the B-Toolkit for animation of B specifications. ...
doi:10.1007/3-540-36578-8_21
fatcat:zejinpicr5ckdoqhslb7xwfvgu
Demonstration of a formal method for incremental qualification of IMA systems
2008
2008 IEEE/AIAA 27th Digital Avionics Systems Conference
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 2009; you can also visit the original URL.
The file type is application/pdf.
This creates a formal framework for IMA system safety assessment. ...
In this paper we address the process of incremental certification/qualification of Integrated Modular Avionic (IMA) systems. ...
The second author was partially supported by the University of Luxembourg. ...
doi:10.1109/dasc.2008.4702860
fatcat:hotdfnqpvfdtpgpsslngipyw6a
Hardware/Software Integration Testing for the New Airbus Aircraft Families
[chapter]
2002
IFIP Advances in Information and Communication Technology
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.
Tool support is provided by the RT-Tester real-time test tool developed by Verified Systems and the University of Bremen. ...
In this presentation, we describe the methods and techniques currently applied in the test of the cabin management controllers for the Airbus families A318, A340-500/600 and A380. ...
Last, but not least, the author would like to express his gratitude to the organisers of the TestCom2002 for granting him the possibility to deliver this presentation. ...
doi:10.1007/978-0-387-35497-2_24
fatcat:kkfvjonhmvejtfpwj2vlly66ea
User interface model discovery
2010
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '10
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 API described here supports further development of these ideas in a systematic manner. ...
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system's state space, simulating the actions of a user; such models ...
for their work in producing example simulation/discovery systems following the techniques described here, and to Max Wilson, Patrick Oladimeji and Parisa Eslambolchilar for feedback on earlier versions of ...
doi:10.1145/1822018.1822041
dblp:conf/eics/GimblettT10
fatcat:cckld42p7bgw5ikit25gf5jw4e
Conference Report: COMPASS '96 - The Eleventh Annual Conference on Computer Assurance, Gaithersburg, MD - June 17-21, 1996
1996
Journal of Research of the National Institute of Standards and Technology
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 2018; you can also visit the original URL.
The file type is application/pdf.
Tutorials Two tutorial tracks on Monday and Tuesday provided attendees with information on safety and assurance concepts, use of formal tools and analysis, and humanmachine interface concerns. ...
These tools include multiview interface, backward and forward execution of the specifications, fault tree generation, verification of correctness of specifications, and other safety analysis techniques ...
doi:10.6028/jres.101.075
pmid:27805078
pmcid:PMC4900807
fatcat:avx7ulw2tjeo7b3zquvp4ix7la
TOPOS: A Prototyping-Oriented Open CASE System
[chapter]
1993
Berichte des German Chapter of the ACM
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 2004; you can also visit the original URL.
The file type is application/pdf.
We give a description of the basic concepts of the user interface prototyping-tools and architecture and component prototyping tool. ...
The user interface and interesting parts of the implementation of these tools are presented so far it is of interest for the prototyping process. ...
A prototyping tool for process control systems for steel production is under development. ...
doi:10.1007/978-3-322-94703-1_15
fatcat:pknkkvmygjfplmfja7urllcs7i
Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems
[chapter]
2016
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 2019; you can also visit the original URL.
The file type is application/pdf.
Our research proposes to address parts of this problem with the development of tools and techniques for generating useful information and assessing developing designs early, to minimize the need for late ...
A particular challenge in the design of safety-critical systems is a typical lack of access to large numbers of testers and an inability to test early designs with traditional usability assessment tools ...
The ADEPT interface (Fig. 7 ) consists primarily of a software logic editing tool combined with a Graphical User interface editing tool. ...
doi:10.1007/978-3-319-44902-9_12
fatcat:cnjzu7dwjjhipiqoe26xzzbdyy
Formal Analysis and Design of Supervisor and User Interface Allowing for Non-Deterministic Choices Using Weak Bi-Simulation
2018
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 2018; you can also visit the original URL.
The file type is application/pdf.
Initially, the formal representation of user and machine model is extended with a discrete event system and its further extension with event-based analysis as a means of representing the activities of ...
We used Z notation for analyzing and validating the formal specification by z-eves toolset [10, 11] . ...
Scientists described the concept of user based generated events and modify the concept of single user interface by building up mathematical tool using simulation technique [20] . ...
doi:10.3390/app8020221
fatcat:a3gmnqk3bbhtrjypqpgnzo6kym
Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis
[article]
2019
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 2020; you can also visit the original URL.
The file type is application/pdf.
There exist various methods and tools to size solar photovoltaic systems; however, these tools rely on simulations, which do not cover all aspects of the design space during the search for optimal solution ...
Our variant of counterexample guided inductive synthesis (CEGIS) approach has two phases linking the technical and cost analysis: first we synthesize a feasible candidate based on power reliability, but ...
ACKNOWLEDGMENT The authors would like to thank to University of Sheffield's QR GCRF for HOMER Pro license. ...
arXiv:1909.13139v1
fatcat:heciq2rhong6xov3tqmrwpjy5q
« Previous
Showing results 1 — 15 out of 31,989 results