工学部 研究紹介_2018_英語版

35/84

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.After 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.Electrical& Computer EngineeringKawaharaLab“Newobservationsbasedonnewtechnologiesdiscovernewsciences”.Sodiumlidarisapowerfulactiveremotesensingtechniquewhichhasbeenusedforsearchingmesosphereandlowerthermosphereregionbetween80and105kmaltitude.Theallsolid-state,maintenance-freelidarsystemwedevelopedisextremelystableinoperationeveninArcticsevereclimatecondition.Ourgroupfocusesondevelopingnewopticaldevicesfortheatmosphericobservationtosearchthetruthinnature.Seed laser system for controlling pulse 589 nm coherent light for sodium layer (80 and 105 km) observation.Research of the Earth upper atmospherenear SpaceFive laser-lines into the sky from the facilities deployed at EISCAT radar site in Tromsoe, Norway.Inthislab,thesupervisoroftenasks“Why?”or“How?”tohisstudentstomakethemunderstandthemechanismsoroperatingprinciplesofthesystem.Alsohebelievesthatapresentationisoneofthebesttooltoimprovetheirskills,evenaftertheirgraduation.Withtheseeducations,thestudentsplayanactiverollintheirownnewfield.After GraduationIn the FutureTakuya KawaharaAssociate ProfessorPh.Dof Sci. (Tohoku University, 1995)Specialty area:1. Na lidar development2. Development of optical instruments for satellite observationsAcademicresearchisabeautifulworld.ScienceislikeapuzzleofnaturegivenbyGod.Peopledevelopobservationdevices,thenthenextsecretcomestolight.Eveninthefuture,peoplestillkeepresearching,andtheystilldiscoveralotofothersecrets.Universityistheonlyplacetogivetheopportunityforthestudentstodoit.Don’tmissit!Electrical& Computer EngineeringE33