■工学部_研究紹介_2017_英語版ファイル161220

33/80

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 EngineeringAppearanceofsimplifiedmotioncapturesystemusinghighspeedstereocamerasandanFPGA.Aprototypeofvoiceoutputcommunicationaidssystem(VOCA)forspeechdisordersandspeechimpediments.Ourresearchisfocusedonthearchitectureofreconfigurablesystemsusingfieldprogrammablegatearrays(FPGAs),whichcombineflexibilityofsoftwarewithhighperformanceofhardware.Alsousinglowpowerconsumptioncharacteristicsofthissystem,wehaveproducedseveralexperimentalmodelsofwearablesystem,suchasvoiceoutputcommunicationaids(VOCA)forspeechdisordersandspeechimpediments.Inthislab,collaborativeinvestigationwithcompaniesinNaganoprefectureisalsopromoted.ThemainfieldofR&Dismotionanalysissystemtoprovideapracticalskilloflearningformsinsport,suchasrunningandski.Mostofgraduatesfindjobsinsoftware,electronicsandautomotivecompanies.Someofthemengageintechnologicalresearchanddevelopment.YujiIzawaAssociateProfessorHe received the Ph.Ddegree from University of Tokyo in 1995. His research interests are image coding and digital signal processing.Reconfigurable System on FPGAAfter GraduationIn the FutureIzawaLabElectrical& Computer Engineering31

※このページを正しく表示するにはFlashPlayer10.2以上が必要です