Filters








462,539 Hits in 7.7 sec

Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte

Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié
2012 Design automation for embedded systems  
Design Automation for Embedded Systems, 16:137-169, 2012. 10.1007/s10617-012-9093-y. [5] Julien Boucaron, Robert de Simone, and Jean-Vivien Millo.  ...  Boundness issues in ccsl specifications. In Lindsay Groves and Jing Sun, editors, Formal Methods and Software Engineering, volume 8144 of Lecture Notes in Computer Science, pages 20-35.  ... 
doi:10.1007/s10617-012-9093-y fatcat:zv7qr4g2ezaztftjucnqqpr6ne

Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE

Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié
2014 Design automation for embedded systems  
Design Automation for Embedded Systems, 16:137-169, 2012. 10.1007/s10617-012-9093-y. [5] Julien Boucaron, Robert de Simone, and Jean-Vivien Millo.  ...  Boundness issues in ccsl specifications. In Lindsay Groves and Jing Sun, editors, Formal Methods and Software Engineering, volume 8144 of Lecture Notes in Computer Science, pages 20-35.  ... 
doi:10.1007/s10617-014-9140-y fatcat:bscfu72rkvfxbnhlrg74ughbim

Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture) [chapter]

César A. Muñoz
2015 Lecture Notes in Computer Science  
Formal methods has played a fundamental role in the development of this capability.  ...  This talk reports on the formal methods work conducted under NASA's Safe Autonomous System Operations project in support of the development of DAA for UAS.  ...  Formal methods has played a fundamental role in the development of this capability.  ... 
doi:10.1007/978-3-319-25150-9_4 fatcat:ceefctpicrbo3bzpq7ifoiq5ze

Abstract State Machines 1988-1998: Commented ASM Bibliography [article]

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
A Practical Method for Rigorously Controllable Hardware Design. In J.P. Bowen, M.B. Hinchey, and D. Till, editors, ZUM'97: The Z Formal Specification Notation, volume 1212 of LNCS, pages 151-187.  ...  The paper investigates the derivation of formal requirements and design specifications at systems level as part of a comprehensive design concept for complex reactive systems.  ... 
arXiv:cs/9811014v1 fatcat:w3vj5i7mzbccbcibroi7dkmhtq

Formal Certification Methods for Automated Vehicle Safety Assessment [article]

Tong Zhao, Ekim Yurtsever, Joel Paulson, Giorgio Rizzoni
2022 arXiv   pre-print
However, to the best of the authors' knowledge, there have been no review papers dedicated to describing and interpreting state-of-the-art of formal methods in the context of AVs.  ...  A majority of approaches used in providing safety guarantees for AV motion control originate from formal methods, especially reachability analysis (RA), which relies on mathematical models for the dynamic  ...  Transportation Systems, pp. 1–16, 2021.  ... 
arXiv:2202.02818v2 fatcat:spgyrglbwjhshl2n43kyx722fa

Grafting Interiority: Generative Methodologies Between the Natural and the Synthetic

Rana Abudayyeh
2021 Interiority  
The potential to draw relevance from external parameters and integrate the derivative systems into the interior volume carries many implications for interior architecture and urban dynamics.  ...  Design is approaching a crucial period where the exchange between interior and exterior systems needs to be rethought and addressed from the standpoint of resilience and innovative environmental responses  ...  an operable design method.  ... 
doi:10.7454/in.v4i2.160 fatcat:7rwbbrqg6newbalxufuopcmpse

Using the uncertainty principle to design simple interactions for targeted self-assembly

E. Edlund, O. Lindgren, M. Nilsson Jacobi
2013 Journal of Chemical Physics  
We present a method that systematically simplifies isotropic interactions designed for targeted self-assembly.  ...  We use this method to design isotropic interactions for self-assembly of complex lattices and of materials with functional properties.  ...  FORMALISMS We wish to represent mathematically, in the spirit of SCFT, a system of particles in a suspension.  ... 
doi:10.1063/1.4812727 pmid:23862929 fatcat:nasjkdezhfdchjr33lypagrecm

Visual environment of cognitive graphics for end-to-end engineering project-based education

Andrey Vlasov, Ludmila Juravleva, Vadim Shakhnov
2019 Istrazivanja i projektovanja za privredu  
It provides the ability to encapsulate the levels of visual modeling in a single closed hierarchy, accompanying the stages of system analysis and design.  ...  A formal characterization of information about complex systems based on the visual cognitive meta-language VI-XML, forming a synchronous project-based educational environment, is proposed.  ...  METHODS Visualization of the complex systems design is understood as the phenomenon of the formal description of the system design process and the fi nished project in the form of a universal calligrapher  ... 
doi:10.5937/jaes17-20262 fatcat:2cpm45ugtje43ozkhtepmv7ksu

Contracts for System Design

Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
2018 Foundations and Trends® in Electronic Design Automation  
In Proc. of the 11th International Conference on Formal Engineering Methods (ICFEM'09), volume 5885 of Lecture Notes in Computer Science, pages 679-697.  ...  Contracts are ideal tools to solidify both vertical and horizontal processes providing the theoretical background to support formal methods in system design.  ... 
doi:10.1561/1000000053 fatcat:j4bm6mahhjfixiposrawsdczbi

Tool Support of Formal Methods for Privacy by Design [article]

Sibylle Schupp
2019 arXiv   pre-print
Formal methods are, in principle, suited for supporting the recent paradigm of privacy by design, but no overview is available that summarizes which particular approaches have been investigated, for which  ...  I also owe to the participants of the Dagstuhl seminar 18471, "Next Generation Domain Specific Conceptual Modeling: Principles and Methods", and to the Dagstuhl library for granting access to all literature  ...  Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures. In International Symposium on Formal Methods, volume 9109, pages 90-107, 2015.  ... 
arXiv:1903.11092v1 fatcat:6mnlr5w5bna77bnphxe7yzzxku

Supplemental Material, Appendix_PDF - Design and Governance of Multichannel Sales Systems: Financial Performance Consequences in Business-to-Business Markets

Christian Homburg, Arnd Vomberg, Stephan Muehlhaeuser
2020 Figshare  
Supplemental Material, Appendix_PDF for Design and Governance of Multichannel Sales Systems: Financial Performance Consequences in Business-to-Business Markets by Christian Homburg, Arnd Vomberg and Stephan  ...  Muehlhaeuser in Journal of Marketing Research  ...  exchange .17** (.09) -.10 (.21) Multichannel Design × Governance Mechanism Indirect channel usage × formalization H1a .19 (.16) .19 (.16) Indirect channel usage × centralization H2a -.19  ... 
doi:10.25384/sage.12661963 fatcat:i45mdgtpujfkdbl4k6x4hq5l3a

UI-Design Driven Model-Based Testing

Judy Bowen, Steve Reeves
2010 Electronic Communications of the EASST  
We give a model-based method for testing interactive systems which has low overhead in terms of the models required and which enables testing of UI and system functionality from the perspective of user  ...  We investigate the use of models of interactive systems, which have been derived from design artefacts, as the basis for generating tests for an implemented system.  ...  FMIS 2009 / 16 Volume 22 (2009) / 16 Volume 22 (2009) UI-Design Driven Model-Based Testing / 16 Volume 22 (2009) UI-Design Driven Model-Based Testing / 16 Volume 22 (2009) UI-Design  ... 
doi:10.14279/tuj.eceasst.22.314 dblp:journals/eceasst/BowenR09 fatcat:ddhw3vhk2vfwre7xya4adj27ci

Speech Breathing in Virtual Humans: An Interactive Model and Empirical Study

Ulysses Bernardet, Sin-Hwa Kanq, Andrew Feng, Steve DiPaola, Ari Shapiro
2019 2019 IEEE Virtual Humans and Crowds for Immersive Environments (VHCIE)  
We believe that integrating dynamic speech breathing systems in virtual characters can significantly contribute to augmenting their realism.  ...  Based on textual input and controlled by a set of lowand high-level parameters, the system produces dynamic signals in real-time that control the virtual character's anatomy (thorax, abdomen, head, nostrils  ...  METHOD (EMPIRICAL STUDY DESIGN AND RESULTS) Study Design One of the key questions in the work presented here is, how relevant is speech breathing behavior for virtual humans.  ... 
doi:10.1109/vhcie.2019.8714737 fatcat:dzyt6mvoqnfwtj4synkvj7j4mq

Annotated Z bibliography

Jonathan Bowen, Susan Stepney, Rosalind Barden
1995 Information and Software Technology  
A formal design for an autonomous display manager An important application area for formal methods is safety-critical systems where human lives may depend on correctness of the system. [22, 45, 46, 118  ...  Formal specification of a Look Manager and a dialog system [217] Nehlig and Duce. Formal specification of the GKS design primitive [287] Sufrin.  ... 
doi:10.1016/0950-5849(95)99367-v fatcat:mxi5kzu2sfabzpgfywdtdj5vaq

Configurable Verification Stimulus Acceleration Method Based on Multicore Processor

Pan Guoteng, Tang Yuxing, Ou Guodong, Luo Li, Yang Qingna
2014 Open Cybernetics and Systemics Journal  
Functional verification has become a major challenge in the chip design area. To improve the efficiency of verification, it is necessary to choose appropriate verification method and tools.  ...  An important aspect of functional verification is RTL verification, simulation-based verification is main method in RTL verification.  ...  The Open Cybernetics & Systemics Journal, 2014, Volume 8 Pan et al.  ... 
doi:10.2174/1874110x01408010017 fatcat:dhf5onzjbva6zazoogcqvkzd4m
« Previous Showing results 1 — 15 out of 462,539 results