Logo: University of Southern California

Events Calendar



Events for October 03, 2013

  • Engineers Without Borders-La Estanzuela Project Meeting

    Thu, Oct 03, 2013 @ 07:00 AM - 08:00 PM

    Viterbi School of Engineering Student Organizations

    Student Activity


    As we embark on our chapter's biggest undertaking yet, we will begin designing our new schoolhouses for La Estanzuela, Honduras. EWB will be hosting workshops throughout the semester, held by our own professional mentors. Most importantly, we are in this together and will help each other along the way. Our projects are just starting up, so this is the BEST time to get involved!

    Location: Kaprielian Hall (KAP) - KAP-Lobby

    Audiences: Everyone Is Invited

    Posted By: Engineers Without Borders

    OutlookiCal
  • PhD Defense - Ivo Krka

    Thu, Oct 03, 2013 @ 10:00 AM - 12:00 PM

    Computer Science

    University Calendar




    Title: Deriving Component-Level Behavior Models from Scenario-Based Requirements

    PhD Candidate: Ivo Krka

    Committee:
    Nenad Medvidovic (Chair)
    Leana Golubchik
    Sandeep Gupta
    Sebastian Uchitel (University of Buenos Aires)

    Use-case scenarios, with notations such as UML sequence diagrams, are widely used, often in combination with formalized system goals and event invariants, to specify the desired behavior of a software system. These intuitive requirement specification notations only partially specify the system-to-be by prohibiting or requiring certain behaviors, while leaving other behaviors uncategorized into either of those. Engineers iteratively refine and elaborate the requirements specification by eliciting more requirements to finally arrive at a complete behavior description. Partial-behavior models, such as modal transition systems (MTS), have been utilized as a formal foundation for capturing partial system specifications. Mapping the requirements to partial behavior models enables automated analyses (e.g., requirements consistency checking) and helps to elicit new requirements, thus assisting the requirements specification practices.

    Although intuitive, the existing requirements notations allow engineers to specify behaviors with unintended semantic side-effects. In particular, the current practices support reasoning about and specification of a system's behavior exclusively at the system level, disregarding the fact that a system typically consists of interacting components. This runs the risk of arriving at an inconsistent specification (i.e. one that is not realizable as a composition of the system's components), which can prove costly if left unresolved.

    To address the shortcomings of the current practices, this dissertation explores three strategies to enable transitioning from a scenario-based requirements specification to a set of component-level MTSs: (1) heuristically creating component MTSs from a system-level scenario-based specifications, (2) enhancing the way scenarios are specified, and (3) mapping the refinements performed on a system MTS to refinements to-be-performed on component-level MTSs. These strategies have been implemented with the following suite of techniques:
    1. A heuristic algorithm that synthesizes a set of component-level MTSs from a set of existential scenarios and system operation invariants.
    2. Component-aware Triggered Scenarios (caTS), a triggered-scenario language that enables expressing reactive behaviors of system components.
    3. A framework that, given a system MTS refinement based on a new requirement, propagates that refinement to a set of component MTSs.

    As they work with different inputs, selecting the appropriate technique depends on the context such as restrictions on adopting new notations and the required level of formality. In addition, the heuristic synthesis algorithm has been adapted and modified into Trace-Enhanced MTS Inference (TEMI) algorithm to work with information about the observed implementation-level system executions.

    The proposed techniques have been theoretically evaluated to assess their complexity, correctness, and completeness. The techniques have also been applied on a number of real-world and automatically generated case studies. The results suggest that the generated MTSs accurately capture those component implementations that (1) necessarily provide the behavior required by the scenarios, (2) restrict behavior forbidden by the requirements specification, and (3) leave the behavior that is neither explicitly required nor forbidden as undefined. Furthermore, the proposed techniques help to detect potential specification flaws as they are specified, correct the existing errors, and prevent future inconsistencies. In case of heuristic MTS synthesis, the algorithm has been proven applicable to very large system specifications. The performed quantitative evaluations also confirmed significant savings in specification effort when caTS scenarios are used in place of existing notations. Finally, based on evaluations performed on nine off-the-shelf libraries, the TEMI algorithm has improved significantly upon the state-of-the-art in dynamic model inference, producing models of higher quality in terms of precision and recall.

    Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248

    Audiences: Everyone Is Invited

    Posted By: Lizsl De Leon

    OutlookiCal
  • Go Global International Opportunities Fair

    Thu, Oct 03, 2013 @ 11:00 AM - 02:00 PM

    Viterbi School of Engineering Student Affairs

    Workshops & Infosessions


    The Go Global International Opportunities Fair is your chance to learn more about study abroad, fellowship, internship, and volunteer opportunities overseas.

    2013 Go Global Participants:

    Viterbi Overseas Programs
    Viterbi Exchange Programs
    USC Office of Overseas Studies
    USC Global Fellows Internship Program
    East Asian Studies Center
    USC Global Scholars Program
    Engineers Without Borders
    Alternative Spring Break

    There will be raffle prizes as well! Come check it out!

    Location: Ronald Tutor Hall of Engineering (RTH) -

    Audiences: Undergrad

    Posted By: Viterbi Student Affairs

    OutlookiCal
  • Occidental Petroleum Corporation Information Session

    Thu, Oct 03, 2013 @ 06:00 PM - 08:00 PM

    Viterbi School of Engineering Career Services

    Workshops & Infosessions


    Occidental Petroleum Corporation (NYSE: OXY) is an international oil and gas exploration and production company, as well as a major North American chemical manufacturer. We are the fourth-largest U.S. oil and gas company, based on market capitalization of $48.6 billion at year-end 2008, with more than 10,000 employees and 20,000 contractors on four continents.

    Oxy is committed to respecting the environment, maintaining safety and upholding high standards of social responsibility throughout the company's worldwide operations. Oxy's success is built on technical expertise, business acumen, strong partnerships and proven ability to deliver superior results.

    Throughout this website, "Oxy" refers to one or more of Occidental Petroleum Corporation, a Delaware corporation, its subsidiaries and affiliates.

    Oxy engages in oil and natural gas exploration and production in three core regions: the United States, Middle East/North Africa and Latin America. We are a worldwide leader in applying advanced technology to boost production from mature oil and natural gas fields and access hard-to-reach reserves. We have consistently replaced and expanded reserves through improved recovery, strategic acquisitions and focused exploration.
    Oxy is looking for people with a creative spark, willing to travel and take charge of their own careers to achieve the highest level of excellence.

    Visit us at www.oxy.com

    Location: Seeley G. Mudd Building (SGM) - 101

    Audiences: Everyone Is Invited

    Posted By: RTH 218 Viterbi Career Services

    OutlookiCal
  • ASBME Corporate Networking Night

    Thu, Oct 03, 2013 @ 06:00 PM - 08:30 PM

    Viterbi School of Engineering Student Organizations

    Receptions & Special Events


    Join ASBME at our second annual Corporate Networking Night with representatives from 10 different biotech companies! This event is a prime opportunity to introduce yourself to recruiters before the Fall Career Expo. Companies attending include Abbott, Accenture, Amgen, Edwards Lifesciences, GE Healthcare, GeneFluidics, HTE@USC, Medtronic, MEIRxRS, National Instruments and USC Coulter Translational. Please bring copies of your resume and dress to impress. To reserve your seat, you must RSVP HERE and submit a $20 deposit to the front desk of DRB 140 (this will be returned to you at check-in for the event but forfeited if you do not show). Due to limited room capacity, this event is open to Junior and Senior undergraduate students ONLY. If you wish to attend and are not a Junior or Senior, please submit the RSVP and we will email you if there are any available seats by Tuesday, October 1st.

    Location: Ronald Tutor Campus Center (TCC) - 351,352

    Audiences: Everyone Is Invited

    Posted By: Associated Students of Biomedical Engineering

    OutlookiCal
  • WE O'Neil Info Session

    Thu, Oct 03, 2013 @ 06:30 PM - 08:00 PM

    Viterbi School of Engineering Student Organizations

    Workshops & Infosessions


    Information sessions are an opportunity for students to get an idea of what a construction company does in the industry. Employees from WE O'neil will be coming to present and give you a better understanding of their company. These sessions give a chance for students of all majors to get an in depth understanding of the company. Students will also have a chance to meet and greet the company's recruiters throughout the evening.

    Location will be posted at usccmaa.com

    Audiences: Everyone Is Invited

    Posted By: USC CMAA

    OutlookiCal