工学部 研究紹介_2018_英語版

34/84

WasakiLabFor“Dependability”ofinformationsystem,itisveryimportanttoensurethesystem’s"Reliability"and“Safety”representedbyQoSorencryptedcommunicationsnetwork.Wemustdesignwithoutanyerror(bug)withinourabilityinordertoachievehighreliabilityrequiredininformationsystem.For"100%bug-freedesigns,“wedevelopthedesignverificationmethodsand/ortools,forinstancebytargetingtheparallelsystems,toinspectallexhaustivestate-space.Thesoftwareisamysterious,"invisible"industrialproductwhichisstoredintheformof"Information(Bit)"withoutanyweight.Byverifyingthedesignofthesoftware,wecanprovidereliableandwell-functioningproductsandservices.Inthislaboratory,weworkonthebasistheory(theoremproving,modelcheckingsystems)andformalverificationsystem(net-orienteddesign,processalgebraspecificationdesign,etc.)aswellasthemodelingmethodofparallelsystem,upstreamsoftwaredesign,andPetrinetdesign/verificationtool.Katsumi WasakiProfessorHis current research interests include modeling and analysis of concurrent, parallel and/or distributed processing systems, mathematical model and formal verification of asynchronous circuits, and hardware compiler for model checking systems.★VERIFICATION FIRST!★Foundations of Computer ScienceGraduatesareworkingincommunicationnetwork,softwaredevelopment,systemdesignengineering,andcloudservicescompanies.Totrainourstudentsasengineersandresearcherswithlogicalandindependentthinkingskills,wediscussourresearchprojectsandparticipateinseminaractivitiesonadailybasis.HiPStool : Hierarchical Petri net Simulatorhttp://sourceforge.net/projects/hips-tools/ SPIN Model Checking Tool & iSPINIDEAfter GraduationIn the FutureElectrical& Computer EngineeringAbe LabBiomedical engineering requires a wide knowledge and technique such as manufacturing experimental equipment and programming of signal processing. I will teach you to take advantage of your experience in our laboratory.MakotoAbeAssociate ProfessorHe received Ph.D. degree in Electrical and Communication Engineering from Tohoku University in 2009. His research interests include biomedical signal processing and support for development of medical devices.FusionofEngineeringandMedicine:BiomedicalEngineeringforHealthyLifeOurresearchfocusesonpreventivemedicineandsupportofmedicaldevicedevelopment.Indailylife,measurementofheartrateandevaluationofautonomicnervousactivityplayasignificantroleinself-healthmanagement.Therefore,inordertoobtainthoseinformation,wearedevelopingawearabledevicewhichismoreresistanttonoisesuchasmotionartifact.Inaddition,we’vebeendevelopingamethodwhichhashighaccuracyandspeedfordetectinglife-threateningarrhythmiasandresearchingamethodforevaluatingeffectsofvisualstimulionhuman.AgingofthepopulationinJapancausesthegrowthinmedicalexpenditure,andthatfactincreasesaburdenonyoungpeople.Ourresearchisaimedatsuppressingitsgrowthbypreventivemedicine.Furthermore,weaimforthespreadofpeople-friendlymedicaldevicesandofsafeimagecontents.Webelieveourresearchcancontributetocreatingawell-beingsociety.After GraduationIn the FutureElectrical& Computer EngineeringA summary of an experiment to evaluate biological effects of three-dimensional (3D) scenography based on a physiological index.A summary of measurement of green photoplethysmograhicsignals at multiple sites.32