Engineering-Research-Activity2016｜SHINSHU UNIV.

53/80

Okano LabDr.KozoOkanoAssociate ProfessorHe received his PhD degree from Osaka University. His research areas include Specification and Verification Techniques for Software Engineering and Dependable Systems.Howcanweefficientlydevelopreliablesoftware?InOkanoLab.,weresearchonsoftwareengineering,especiallyspecificationandverificationtechniques.Developmentofsoftwareproducesnotonlysoftwareprogramcodeitselfbutalsoalotofdocumentproductsincludingrequirement,specification,design,testsuitsandprogramassertions.Suchadocumentrelatedeachother.Maintenanceofsuchdocumentsis,thus,alsoimportant.Wealsoresearchonanalysisofsuchdocumentsforincreaseofreliabilityofsoftwareproducts.OurresearchisoneoftheimportanttechniquesinSoftwareEngineering.Futuresocietywillneedmorereliableandhugesoftware.Ourresearch,therefore,willbeimportantinfuture.Softwareengineerswithsuchtechniqueswillplayactivepartindevelopmentofsoftwareproducts.ComputerScience &EngineeringAfter GraduationIn the FutureModel Checking of Safety of Controller in a Line Tracing RobotSpec. (JML)Spec. (Alloy)Alloy Analyzer!?instancesVisualization of Specification by Alloy AnalyzerOverhalfofthegraduatesgotograduateschool.Graduatesofourlaboratorywillbeemployedbyelectronicscompanies,ITcompaniesandetc.Manygraduatesareworkingassoftware/ITengineerswithabilityofsoftwareengineering.AppearanceofsimplifiedmotioncapturesystemusinghighspeedstereocamerasandanFPGA.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 FPGAComputerScience &EngineeringAfter GraduationIn the FutureIzawaLab51

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