NDLI: Simulation-Based Analysis of Cyberphysical Systems

Content Provider	IEEE Xplore Digital Library
Author	Fujita, M.
Copyright Year	2012
Abstract	Cyberphysical systems consist of physical parts and control parts both of which can be very complicated. Especially analysis models of physical parts sometimes need lots of details to examine various aspects of the target behaviors accurately. For such complicated systems, dynamic approach, such as simulation, can be relatively easier or simpler to be applied than static one, although the results of simulations must be carefully analyzed having in mind that simulations give only small sets of execution traces. In this paper, we first discuss about our experiences in VLSI circuit designs on various models and their accuracy. Delays, power consumption, thermal things, and others, which are closely interrelated, must be examined to see if the circuit works or not. Then we discuss about acceleration of simulations with hardware, i.e., FPGA. Starting with a pure procedural implementation of the target simulator, we discuss about how stream-based processing can be introduced and how steams help in accelerating simulations. We use Tsunami wave propagation as an example and clarify the approach. In the last part, we discuss about how such implementation of simulation software and hardware can be practically verified. Assertions on floating point variables which describe internal behaviors are first automatically extracted and then they are examined to check with the original problem definition, such as partial differential equations. All of the issues discussed in this paper is based on dynamic analysis with small amount of static one.
Starting Page	485
Ending Page	492
File Size	1131921
Page Count	8
File Format	PDF
ISBN	9781467324984
e-ISBN	9780769547985
DOI	10.1109/DSD.2012.119
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2012-09-05
Publisher Place	Turkey
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Analytical models Mathematical model Computational modeling Tsunami Numerical models Hardware Acceleration Verification Cyberphysical system Simulation-based analysis Statistical analysis Acceleration of computing
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in