Filters








29 Hits in 7.1 sec

Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems

Tevfik Bultan, Constance Heitmeyer
2008 Design automation for embedded systems  
SCR Language and Toolset The objective of an SCR specification is to specify the required externally visible behavior of a software system as a relation on environmental quantities.  ...  Section 5 describes the application of ALV and the SCR tools to the verification of the two SCR specifications presented in Section 2.  ...  The second author is especially grateful to Carolyn Gasarch for extending the SCR toolset to provide timing information about the various analyses performed by the toolset and to Myla Archer for producing  ... 
doi:10.1007/s10617-008-9014-2 fatcat:u4twazgxl5cyxfybqhwhptb6xm

Toward safe reuse of product family specifications

Robyn R. Lutz
1999 Proceedings of the 1999 symposium on Software reusability - SSR '99  
The product family approach w as e ective at identifying some latent safety requirements and in validating the design of the reusable software.  ...  , establishing a hierarchy o f v ariabilities, and specifying dependencies among options) and (3) tracing the product family requirements to the design of the reusable components and to the design of a  ...  Lai, and Michael Deck for feedback on this work and for their careful explanations, Frank J. Humphrey for initial development of an SCR speci cation, and Mark A.  ... 
doi:10.1145/303008.303014 dblp:conf/ssr/Lutz99 fatcat:sbdyqebtonbaxgl26dms6qy754

Error detection and error memory in spatial navigation as reflected by electrodermal activity

Lisa Holper, Natalie Jäger, Felix Scholkmann, Martin Wolf
2013 Cognitive Processing  
Our data designate EDA as suitable monitoring tool for identification and differentiation of the affective correlates underlying spatial navigation, which has recently attracted researchers' attention  ...  Our results show (1) an effect of difficulty, that is, larger skin conductance responses (SCRs) and slower velocity profiles while navigating through MazeC as compared to MazeS. (2) An effect of age, that  ...  of Zurich, for financial support.  ... 
doi:10.1007/s10339-013-0567-z pmid:23700191 fatcat:gwktnys2fvcovlniabdtll56wq

Analyzing tabular requirements specifications using infinite state model checking

T. Bultan, C. Heitmeyer
Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.  
After reviewing the SCR method and tools and the Action Language, experimental results are presented of formally analyzing two SCR specifications using ALV.  ...  This paper investigates the application of infinite state model checking to the formal analysis of requirements specifications in the SCR (Software Cost Reduction) tabular notation using Action Language  ...  The authors are grateful to Myla Archer, Ralph Jeffords, and the anonymous referees for their insightful comments on earlier drafts and to Ralph Jeffords for proving the equivalence of formulas (3) and  ... 
doi:10.1109/memcod.2006.1695895 dblp:conf/memocode/BultanH06 fatcat:jzawkqar7jb4bee2wb7urzrm6m

General Chairman's Message

1985 22nd ACM/IEEE Design Automation Conference  
We, thank Todd Grimm and Bruce Labaw for implementing support for our verification method in the SCR toolset.  ...  We are also grateful for the constructive comments we got on earlier versions of this paper from Hanne Carlsen, Benny Graff Mortensen, Paul Mukherjee and Anne Berit Nielsen.  ...  The SCR toolset supports proof of safety properties of requirements specifications using model checking based on state exploration 241.  ... 
doi:10.1109/dac.1985.1585898 fatcat:qcddxeqjfrgcnkywt4dlol5s2u

General Chairman's Message

1983 1983 IEEE Symposium on Security and Privacy  
We, thank Todd Grimm and Bruce Labaw for implementing support for our verification method in the SCR toolset.  ...  We are also grateful for the constructive comments we got on earlier versions of this paper from Hanne Carlsen, Benny Graff Mortensen, Paul Mukherjee and Anne Berit Nielsen.  ...  The SCR toolset supports proof of safety properties of requirements specifications using model checking based on state exploration 241.  ... 
doi:10.1109/sp.1983.10000 fatcat:gwmwca6z6vcs7oo44rri25ie4i

General Chairman's Message

1986 MILCOM 1986 - IEEE Military Communications Conference: Communications-Computers: Teamed for the 90's  
We, thank Todd Grimm and Bruce Labaw for implementing support for our verification method in the SCR toolset.  ...  We are also grateful for the constructive comments we got on earlier versions of this paper from Hanne Carlsen, Benny Graff Mortensen, Paul Mukherjee and Anne Berit Nielsen.  ...  The SCR toolset supports proof of safety properties of requirements specifications using model checking based on state exploration 241.  ... 
doi:10.1109/milcom.1986.4805639 fatcat:yv3yt6hivvg4bjtj5ftdxp7dke

General Chairman's Message

2004 PLANS 2004 Position Location and Navigation Symposium (IEEE Cat No 04CH37556) PLANS-04  
We, thank Todd Grimm and Bruce Labaw for implementing support for our verification method in the SCR toolset.  ...  We are also grateful for the constructive comments we got on earlier versions of this paper from Hanne Carlsen, Benny Graff Mortensen, Paul Mukherjee and Anne Berit Nielsen.  ...  The SCR toolset supports proof of safety properties of requirements specifications using model checking based on state exploration 241.  ... 
doi:10.1109/plans.2004.1308961 fatcat:jrv2qudaw5e4fm7vtyfx4clip4

General Chairman's Message

1986 MILCOM 1986 - IEEE Military Communications Conference: Communications-Computers: Teamed for the 90's  
We, thank Todd Grimm and Bruce Labaw for implementing support for our verification method in the SCR toolset.  ...  We are also grateful for the constructive comments we got on earlier versions of this paper from Hanne Carlsen, Benny Graff Mortensen, Paul Mukherjee and Anne Berit Nielsen.  ...  The SCR toolset supports proof of safety properties of requirements specifications using model checking based on state exploration 241.  ... 
doi:10.1109/milcom.1986.4805724 fatcat:ywopnvuobzd7nfg5vqbicn6wcy

General Chairman's Message

2006 2006 Proceedings of the First Mobile Computing and Wireless Communication International Conference  
We, thank Todd Grimm and Bruce Labaw for implementing support for our verification method in the SCR toolset.  ...  We are also grateful for the constructive comments we got on earlier versions of this paper from Hanne Carlsen, Benny Graff Mortensen, Paul Mukherjee and Anne Berit Nielsen.  ...  The SCR toolset supports proof of safety properties of requirements specifications using model checking based on state exploration 241.  ... 
doi:10.1109/mcwc.2006.4375180 fatcat:c4cqrusqb5bcrczqa2fu77zgfu

General Chairman's Message

1986 MILCOM 1986 - IEEE Military Communications Conference: Communications-Computers: Teamed for the 90's  
We, thank Todd Grimm and Bruce Labaw for implementing support for our verification method in the SCR toolset.  ...  We are also grateful for the constructive comments we got on earlier versions of this paper from Hanne Carlsen, Benny Graff Mortensen, Paul Mukherjee and Anne Berit Nielsen.  ...  The SCR toolset supports proof of safety properties of requirements specifications using model checking based on state exploration 241.  ... 
doi:10.1109/milcom.1986.4805808 fatcat:45cvhs7md5gupdkd4rckkqy3qm

General Chairman's Message

1986 23rd ACM/IEEE Design Automation Conference  
We, thank Todd Grimm and Bruce Labaw for implementing support for our verification method in the SCR toolset.  ...  We are also grateful for the constructive comments we got on earlier versions of this paper from Hanne Carlsen, Benny Graff Mortensen, Paul Mukherjee and Anne Berit Nielsen.  ...  The SCR toolset supports proof of safety properties of requirements specifications using model checking based on state exploration 241.  ... 
doi:10.1109/dac.1986.1586054 fatcat:4wqbpjk4vzfi5hiqypgttzltjq

Techno-functional and 3D shape analysis applied for investigating the variability of backed tools in the Late Middle Paleolithic of Central Europe

Davide Delpiano, Thorsten Uthmeier, Andrea Zerboni
2020 PLoS ONE  
A higher regional mobility caused by the comparably low predictability of resources characterized the subsistence tactics of Neanderthal groups especially at the borders of their overall distribution.  ...  Their differences mainly consist in the frequence of some retouched tools and the presence of bifacial technology.  ...  Frank Bauer from the Informatik Department at FAU Erlangen-Nürnberg for the kind concession of David 3D scanner; the authors are also deeply grateful to Dr. Andreas Maier and Dr.  ... 
doi:10.1371/journal.pone.0236548 pmid:32813722 fatcat:mzmblbwnwbap7el7j3mkrcbrzy

Editorial: Early aspects: aspect-oriented requirements engineering and architecture design

Awais Rashid, Ana Moreira, Bedir Tekinerdogan
2004 IEE Proceedings - Software  
The primary goal of the workshop was to focus on challenges to defining methodical software development processes for aspects from early on in the software life cycle and explore the potential of proposed  ...  This paper reports on the third Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design Workshop, which has been held in Lancaster, UK, on March 21, 2004.  ...  Lee for her work with early versions of Theme/Doc as applied to the Crystal Game.  ... 
doi:10.1049/ip-sen:20041027 fatcat:zqxbrgz225c2djhxm72y7s754i

Multidimensional Point Transform for Public Health Practice

P. AbdelMalik, M. N. Kamel Boulos
2011 Methods of Information in Medicine  
For each aspect of the study, a tool prototype and/or design for implementation is proposed and explained, and the need for further development of these is highlighted.  ...  Public health practice -which is charged with the protection, promotion and mitigation of the health of society and its individuals -has been at odds with the right to privacy.  ...  Acknowledgements Many thanks to Professor Ray Jones at the University of Plymouth, Dr. Khaled El Emam at the CHEO Research Institute, Mr. Philip Ng at the Public Health Agency of Canada, Mr.  ... 
doi:10.3414/me11-01-0001 pmid:21691675 fatcat:l7rjqvc6dzfdvmg47ew2eacrxy
« Previous Showing results 1 — 15 out of 29 results