Electrical& Computer Electrical& Computer ★VERIFICATION FIRST!★Foundations of Computer Science27In the FutureAfter GraduationMakoto AbeIn the FutureAfter GraduationProfessorHis 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.Associate 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.EngineeringEngineeringFor“Dependability”ofinformationsystem,itisveryimportanttoensurethesystem’s"Reliability"and“Safety”representedbyQoSorencryptedcommunicationsnetwork.Wemustdesignwithoutanyerror(bug)withinourabilityinordertoachievehighreliabilityrequiredininformationsystem.For"100%bug-freedesigns,“wedevelopthedesignverificationmethodsand/ortools,forinstancebytargetingtheparallelsystems,toinspectallexhaustivestate-space.Katsumi WasakiOurresearchfocusesonpreventivemedicineandsupportofmedicaldevicedevelopment.Indailylife,measurementofheartrateandevaluationofautonomicnervousactivityplayasignificantroleinself-healthmanagement.Therefore,inordertoobtainthoseinformation,wearedevelopingawearabledevicewhichismoreresistanttonoisesuchasmotionartifact.Inaddition,we’vebeendevelopingamethodwhichhashighaccuracyandspeedfordetectinglife-threateningarrhythmiasandresearchingamethodforevaluatingeffectsofvisualstimulionhuman.Thesoftwareisamysterious,industrialproductwhichisstoredintheformof"Information(Bit)"withoutanyweight.Byverifyingthedesignofthesoftware,wecanprovidereliableandwell-functioningproductsandservices.Inthislaboratory,weworkonthebasistheory(theoremproving,modelcheckingsystems)andformalverificationsystem(net-orienteddesign,processalgebraspecificationdesign,etc.)aswellasthemodelingmethodofparallelsystem,upstreamnetsoftwaredesign/verificationtool.Graduatesareworkingincommunicationnetwork,softwaredevelopment,systemdesignengineering,andcloudservicescompanies.Totrainourstudentsasandengineersandindependentthinkingskills,wediscussourresearchprojectsandparticipateinseminaractivitiesonadailybasis.Biomedical 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."invisible"design,andresearcherswiththepopulationinJapancausestheAgingofgrowthinmedicalexpenditure,andthatfactincreasesaburdenonyoungpeople.Ourresearchisaimedatsuppressingitsgrowthbypreventivemedicine.Furthermore,weaimforthespreadofpeople-friendlymedicaldevicesandofsafeimagecontents.Webelieveourresearchcancontributetocreatingawell-beingsociety.PetrilogicalA summary of measurement of green photoplethysmograhicsignals at multiple sites.A summary of an experiment to evaluate biological effects of three-dimensional (3D) scenography based on a physiological index.HiPStool : Hierarchical Petri net Simulatorhttp://sourceforge.net/projects/hips-tools/ SPIN Model Checking Tool & iSPINIDEFusionofEngineeringandMedicine:BiomedicalEngineeringforHealthyLife
元のページ ../index.html#28