Filters








14,700 Hits in 6.2 sec

A Formal Method for Assessing Product Performance at the Conceptual Stage of the Design Process [chapter]

Paul Rodgers, Alistair Patterson, Derek Wilson
1996 Advances in Formal Design Methods for CAD  
The paper describes a fonnal methodology for defining and assessing product perfonnance and its implementation in a prototype computer system.  ...  The methodology is based on high level abstract descriptions of the operations conducted within the design process.  ...  In principle however if the system was linked to a CAD system then the type of feature extraction facilities available on some systems could be exploited either to automatically extract the characteristics  ... 
doi:10.1007/978-0-387-34925-1_8 fatcat:xcjxlfbqqfhnth6ychnopgab2i

Formal Methods for Smartcard Security [chapter]

Gilles Barthe, Guillaume Dufay
2005 Lecture Notes in Computer Science  
The objective of this chapter is to describe some applications of formal methods to increase the reliability of smartcards and trusted personal devices.  ...  used to increase the reliability of platforms and applications for trusted personal devices.  ...  members of the EVEREST and LEMME teams at INRIA Sophia-Antipolis for stimulating interactions over the years.  ... 
doi:10.1007/11554578_5 fatcat:4y7miflopjhs7ik5wvacpen7f4

What Happened to Formal Methods for Security?

Kim Schaffer, Jeffrey Voas
2016 Computer  
The application of FM also satis es a legal burden of proof regarding due diligence.  ...  Currently, security issues in most non-safety-critical systems, except some highly regulated ones, don't have the same economic pressures and  ...  JOHN MCLEAN is superintendent of NRL's Information Technology Division (ITD) and helped create ITD's Center for High Assurance Computer Systems, establishing and heading its Formal Methods Section.  ... 
doi:10.1109/mc.2016.228 pmid:27890940 pmcid:PMC5120363 fatcat:gu5bccs33fd23i4o3wk5lpmxxa

Invisible formal methods for embedded control systems

A. Tiwari, N. Shankar, J. Rushby
2003 Proceedings of the IEEE  
We motivate a methodology called "invisible formal methods" that provides a graded sequence of formal analysis technologies ranging from extended typechecking, through approximation and abstraction, to  ...  As an instance of invisible formal methods, we describe techniques to check inductive invariants, or extended types, for hybrid systems and compute discrete finite state abstractions automatically to perform  ...  INTRODUCTION H YBRID systems involve a combination of discrete and continuous dynamics and are used for modeling embedded control systems.  ... 
doi:10.1109/jproc.2002.805818 fatcat:g4bd5tlm5femvcvi7vooz7srnu

Formal methods for reconfigurable assembly systems

T Ribeiro, Gil Gonçalves
2010 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)  
This simple fact takes them to develop new methodologies for the management and for the creation of new produtive lines.  ...  This work has the objective to develop a set of methods for the analysis and assistance of the decision process regarding new production lines based on Expertons (equipments) towards the requirements of  ...  Acknowledgements The research presented here focuses on defining a set of methods capable of reducing the space solution of combinatorial problems, and requiring the minimal impact on the goals to achieve  ... 
doi:10.1109/etfa.2010.5641248 dblp:conf/etfa/RibeiroG10 fatcat:rcwlbhcegvdtze4gfzzqydtkwu

A flexible formal verification framework for industrial scale validation

Anna Slobodova, Jared Davis, Sol Swords, Warren Hunt
2011 Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)  
Besides expanding their validation and CAD tools teams, they have incorporated formal verification methods into their design flows.  ...  Formal verification (FV) engineers require extensive training, and FV tools from CAD vendors are expensive. At first glance, it may seem that FV teams are not affordable by smaller companies.  ...  ACKNOWLEDGEMENT We would like to thank Matt Kaufmann for his continuous support of ACL2 and Gary Byers for his support of GCL.  ... 
doi:10.1109/memcod.2011.5970515 dblp:conf/memocode/SlobodovaDSH11 fatcat:5vahhzcds5falllz5xqsvqraqq

Using formal methods to scope performance challenges for Smart Manufacturing Systems: Focus on agility

Kiwook Jung, KC Morris, Kevin W Lyons, Swee Leong, Hyunbo Cho
2015 Concurrent Engineering - Research and Applications  
Two existing reference models related to manufacturing operations are represented formally and harmonized to support the proposed method.  ...  The method uses standard modeling techniques in specifying a manufacturing system and the relationship between strategic goals and operational performance metrics.  ...  Moneer Helu for feedback, which helped to improve the paper. Disclaimer Certain commercial products in this paper were used only for demonstration purposes.  ... 
doi:10.1177/1063293x15603217 pmid:27141209 pmcid:PMC4850556 fatcat:pab7whjlhrc2zn6rij2mdoszhu

Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems

Vladimir Dubikhin, Chris Myers, Danil Sokolov, Ioannis Syranidis, Alex Yakovlev
2017 Proceedings of the 54th Annual Design Automation Conference 2017 on - DAC '17  
Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems.  ...  This paper presents an overview of the state-of-the-art in AMS formal verification and asynchronous design that enables the development of analog/asynchronous co-design methods.  ...  Acknowledgments This research was supported by EPSRC grant "A4A: Asynchronous design for Analogue electronics" (EP/L025507/1) and National Science Foundation Grant No. CCF-1117515.  ... 
doi:10.1145/3061639.3072945 dblp:conf/dac/DubikhinMSSY17 fatcat:ujblxhmtvvdsnd3n77lvvriwr4

Formal modelling and transformations of processor instruction sets

Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev
2011 Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)  
Optimal design of an instruction set for a particular combination of available hardware components and software requirements is crucial for system performance and is a challenging task involving a lot  ...  of heuristics and high-level design decisions.  ...  Acknowledgement This work was supported by EPSRC grants EP/G037809/1 and EP/F016786/1.  ... 
doi:10.1109/memcod.2011.5970510 dblp:conf/memocode/MokhovSRY11 fatcat:kyabbkxd6zepxnm6xddk3hyu7e

Ten CAD Challenges

D.J. Kasik, W. Buxton, D.R. Ferguson
2005 IEEE Computer Graphics and Applications  
productivity for geographically distributed project teams.  ...  We discuss the significant technical challenges facing the CAD industry and research community and present an approach to address these issues. ■ finding ways to cope with vastly larger quantities of data  ...  than due to the introduction of some monolithic new technology.  ... 
doi:10.1109/mcg.2005.48 pmid:15794152 fatcat:63m2ywogdrbphgjsn77uxxl3cq

CAD for integrated MEMS design

Tamal Mukherjee, Bernard Courtois, Selden B. Crary, Kaigham J. Gabriel, Jean Michel Karam, Karen W. Markus, Andrew A. O. Tay
2000 Design, Test, Integration, and Packaging of MEMS/MOEMS  
The design of such integrated systems will occur at the system level, driven primarily by the application.  ...  the communication between the process, device, system and application domains, and exploits the expertise in each domain.  ...  ACKNOWLEDGEMENT Research described in this paper is sponsored by the DARPA MEMS and Composite CAD programs and by the NSF MIPS.  ... 
doi:10.1117/12.382270 fatcat:nfvb24jccjevxg7pdrlwmyunkq

Interoperable Methodologies and Techniques in CAD [chapter]

Semiha Kiziltas, Fernanda Leite, Burcu Akinci, Robert Lipman
2009 CAD and GIS Integration  
Driven by the availability of multiple, incompatible information systems, various data standards and specifications are being developed for enabling interoperability within the architecture, engineering  ...  This chapter is an overview of interoperable methodologies and techniques in computer-aided design (CAD).  ...  from the CAD systems and IFC files.  ... 
doi:10.1201/9781420068061-c4 fatcat:rkm7mwr3i5e6fn3f5lkxqk4i7m

Intellectual CAD for Three-Tier Wide Band WDR Filters

Alexander G. Yushchenko, Dovlet S. Mamedov, Denis M. Zaytsev
2012 Wireless Engineering and Technology  
On the basis of formalized physical knowledge about the behavior of coupled resonators, the CAD system analyses electromagnetic signal passing through a filter structure and makes decisions gradually approaching  ...  We also include the filter optimization results obtained with the CAD system for the frequency range 23 -81 GHz, band widths up to 30% and insertion losses less than 0.5 dB.  ...  The rule application history documents the way the system reaches its final Software Tools and Intellectual CAD Interface The following tools were chosen for development of the intellectual CAD system  ... 
doi:10.4236/wet.2012.31005 fatcat:fiu37uk6jzakdl6sr3mhua5cke

Fundamental CAD algorithms

M.A. Breuer, M. Sarrafzadeh, F. Somenzi
2000 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
These algorithms are responsible for the effectiveness and efficiency of a variety of CAD tools. Furthermore, a number of these algorithms have found applications in many other domains.  ...  VLSI CAD is a dynamic area where problem definitions are continually changing due to complexity, technology and design methodology.  ...  An exhaustive list of applications of BDDs to problems in CAD is too long to be attempted here.  ... 
doi:10.1109/43.898826 fatcat:jwvmbqh4nrbzloxpiacb7j2pse

Collaborative Product Development in CAD and CAPP [chapter]

O. W. Salomons, J. M. Kuipers, J. de Graaff, F. van Slooten, E. J. A. M. van Houten, H. J. J. Kals
1996 IFIP Advances in Information and Communication Technology  
Apart from formal information exchange between CAD and CAPP systems, informal information exchange is necessary in achieving the goals of Concurrent Engineering.  ...  and CAPP systems.  ...  Acknowledgements This research was supported by the Technology Foundation (STW), a Dutch foundation funded by the Dutch government.  ... 
doi:10.1007/978-0-387-34930-5_5 fatcat:wdpi2x7ryvbehlrobex3j4nygu
« Previous Showing results 1 — 15 out of 14,700 results