Software Development

Systems Engineering

Welcome...

SEFREA provides a broad range of services in the areas of Systems Engineering and Software/Web Development, whether in the form of Consulting, Outsourcing or Direct Supply.

If you are looking for a Hardware/Software Systems Integrator, if you have some Software/Web project that needs to be developed, or simply require some expert advice, then you're probably in the right direction. We have more than 10 years experience designing, implementing and testing Computing and Communications solutions with the help of reputed partners such as EFACEC - Engenharia e Sistemas S.A., RPA, INESC-Porto and FEUP/FCT.

We are also interested in contributing to R&D projects, as they intimately relate to our background as researchers and fulfill our desire to innovate.

Please feel free to explore the solutions we offer and do not hesitate to contact us if you need more information.

 Network Administration

• Principles of Network Administration;
• Networking, OSI Model and TCP / IP;
• Protocols, Ports and Services;
• Communication Network Architectures;
• Traffic- and service-based Network Planning
• Network implementation - Hardware:
  • Hubs; Switches; Routers and Servers;
• Network implementation - Services:
  • DNS; DHCP and Firewall;
• Hardware-level maintenance;
• Service-level maintenance;
• Network Administration tools;
• Management of Network Operating Systems:
  • Windows Server 2003;
  • Users, Servers and Services;
  • Active Directory and LDAP;

 Check Point Security Administration (CCSA) R70/R71

• Design and install version R70 in a distributed environment;
• Perform a backup and restore the current installation;
• Identify critical files;
• Deploy gateways;
• Create and configure network, host, and gateway objects;
• Verify SIC establishment;
• Create a basic Rule Base;
• Configure NAT rules;
• Evaluate existing policies and optimize rules;
• Ensure seamless upgrades and minimal downtime;
• Use queries to monitor IPS and common network traffic and
  troubleshoot events;
• Generate reports, troubleshoot system and security issues, and
  ensure network functionality;
• Configure alerts and traffic counters, monitor suspicious activity,
  analyze tunnel activity and monitor remote user access;
• Apply upgrade packages;
• Attach product licenses;
• Perform a pre-installation compatibility assessment;
• Centrally manage users and manage users' access using external
  databases;
• Configure a pre-shared secret site-to-site VPN;
• Configure a certificate-based site-to-site VPN using an internal CA
  or a third-party CA;
• Configure permanent tunnels for remote access;
• Configure VPN tunnel sharing;
• Configure Check Point Messaging Security to test IP reputation,
  content-based anti-spam, and zero-hour virus detection;
• Configure a web-filtering and antivirus policy to filter and scan
  traffic;
• Implement default or customized profiles to designated gateways;
• Create and install IPS policies;

 Check Point Security Expert (CCSE) R70/R71

• Lab Environment Setup;
  • Build the Management Server;
  • Build Gateways;
  • Install and Configure NTP;
  • Upgrade to R70.1;
  • Establish SIC;
• Management Portal:
  • Configure Management Portal on Corporate Site;
  • Test Management Portal Access;
  • Configure Management Portal Access on Partner Site;
  • Test Management Portal;
• SmartWorkflow:
  • Create New Administrators;
  • Configure SmartWorkflow;
  • Open and Submit a Session for Approval;
  • Disapprove the Session and Request a Modification;
  • Approve the Session and Install the Policy;
  • Disable SmartWorkflow;
• SmartProvisioning;
  • Enable SmartProvisioning;
  • Create New Profile;
  • Assign Profile to Gateways;
  • Verify Profile Changes;
• SSL VPN:
  • Configure Connectra R66 Gateway;
  • Enable Connectra Gateway in SmartDashboard;
  • Create a File Share Application in the SSL VPN Tab;
  • Create an Internal User;
  • Assign File Share Access to User Group;
  • Update Rule Base for DMZ Traffic;
  • Verify File Share Access through the User Portal;
  • Configure Embedded RDP;
  • Shutdown and Remove Connectra Server;
• SecureXL:
  • Enable and Configure SecureXL on the Gateway;
  • Open Connections and Verify Acceleration;
• Deploying New Mode HA:
  • Create and Configure a Secondary Cluster Member;
  • Configure Gateway-Cluster Object;
  • Configure ClusterXL Properties;
  • Modify the Rule Base;
  • Pass Traffic through the Cluster;
  • Observe Cluster Status in SmartView Monitor;
  • Perform Test Failovers;
• Load Sharing Modes:
  • Configure Load Sharing Unicast Mode;
  • Test Load Sharing Unicast Mode;
  • Configure Load Sharing Multicast Mode;
  • Test Load Sharing Multicast Mode;
• VPN with Sticky Decision Function:
  • Configure VPN in a Cluster;
  • View a Packet Capture of FTP Connections without Sticky Decision
    Function;
  • View a Packet Capture of FTP Connections with Sticky Decision Function;
• Configure Check Point QoS Policy:
  • Enable and Configure Check Point QoS;
  • Create Check Point QoS Rules and Adjust Rule Weights;
  • Verify and Install Policy;
  • Test QoS Policy;
• Route-Based VPNs with Static Routes:
  • Configure Gateway and VPN Community Objects;
  • Add Participating Gateway to Community;
  • Configure VTIs on Participating Gateways;
  • Add Static Routes for Internal Networks;
• Eventia Analyzer:
  • Install the Eventia Suite on CG_Corporate;
  • Configure the Network Object in SmartDashboard;
  • Configure Eventia;
  • Monitor Events with Eventia;

 Distributed Computing

• Computer Networks in the context of Distributed Systems;
• Architectures and distributed communication models;
• Communication between distributed processes;
• The Java language - advanced concepts;
• Java SE - distributed applications based on Sockets:
  • java.io;
  • java.net;
• Remote invocation and distributed objects;
• Java Apache XML-RPC;
• Java SE - distributed applications based on Remote Method Invocation (RMI):
  • java.rmi;
• Distributed file systems;
• Network File System (NFS);
• Andrew File System (AFS);
• Service-oriented architecture (SOA);
• Web Service-based distributed applications:
  • WSDL;
  • SOAP;
  • XML Schema;
• Distributed security contexts.

 Electrical Machines

• Electrical Machines:
  • Brief history, classification, working principles, magnetic field laws;
• Electrical circuit theory:
  • AC and DC Systems;
  • Single phase and three phase systems;
  • Phasor analysis;
• Magnetic fields and circuits:
  • Basic Principles;
  • Induction, Ampere's law and magnetomotive force;
  • Faraday's Law;
  • Properties of magnetic materials;
• Principles of energy conversion:
  • Electromechanical energy conversion;
  • Translation and rotation;
  • Magnetic force and electromagnet;
  • Electromagnetic interactions;
  • Induction of torque;
  • Rotating magnetic fields;
• Transformers:
  • Classification and construction aspects;
  • Core, windings, cooling systems and insulation;
• Ideal model of the single-phase transformer:
  • Loaded and unloaded transformer;
• Real transformer and equivalent circuits:
  • Non-ideal features;
  • Loaded and unloaded transformer;
  • Exact and approximate equivalent circuit;
  • Phasor diagrams;
• Tests, voltage drop, losses and efficiency;
• Three-phase transformer, autotransformer, and instrument transformers;
• Rotating electrical machines;
• Asynchronous machine:
  • Constructive Aspects;
  • Operation principle;
  • Induction motor;
• Equivalent circuit, power flow and testing;
• Torque, speed and operating characteristics;
• Double cage rotor motors;
• Starting and speed control;

 New Technologies in Tourism

• Information technologies and tourism:
  • Information Society;
  • Historical evolution;
  • Data, information and feedback;
  • Information systems at the organizational, technological and management levels;
  • Transaction Processing Systems (TPS);
  • Management Information Systems (MIS);
  • Decision Support Systems (DSS);
  • Executive Support Systems (ESS);
  • The e-Tourism concept;
  • Critical functions of ICTs;
  • Computer Reservation Systems (CRS);
  • Global Distribution Systems (GDS);
• Databases in tourism management:
  • File organization and data hierarchy;
  • Environment database;
  • Relational DBMSs, SQL, Standards;
  • Database distribution;
  • Data Warehousing;
  • Business Intelligence (BI), Online Analytical Processing (OLAP), Data Mining;
  • Predictive analysis;
  • Text Mining, Web Mining;
  • Destination Management Systems (DMS);
  • Geographic Information Systems (GIS);
• Designing and promoting web sites:
  • Communication networks;
  • Protocol stacks;
  • Internet naming and addressing;
  • Client-server paradigm;
  • Google and its operating model;
  • Creating Web sites and best practices;
  • The Web in tourism;
  • Web 1.0 vs Web 2.0;
  • Social Software, RSS, Podcasts;
  • Cloud Computing;
• Information and reservation services:
  • Global electronic market;
  • Customers, suppliers, intermediaries and stakeholders;
  • CRS and GDS channels;
  • Service systems before and after the Internet;
  • Property Management Systems (PMS);
  • Internet Distribution Systems (IDS);
  • Amadeus, Sabre, Galileo e Wordspan;
• E-commerce:
  • The Internet and user profiles;
  • Growth of Internet commerce and impact on traditional channels;
  • e-marketing, e-procurement, e-commerce;
  • Marketing and Customer Relationship Management (CRM);
  • Enterprise Resource Planning (ERP);
  • Evolution of value chains;
  • Destination Management Organizations (DMO);
  • SMEs and strategic opportunities;
• Software for the management and direction of:
  • Hotel industry;
  • Tourism intermediaries.

 Oracle Database 10G - PL/SQL

• Introduction to PL/SQL;
• Declaration of PL/SQL identifiers;
• Writing executable commands;
• Interacting with the Oracle server;
• Writing control structures;
• Working with composite data types;
• Using explicit cursors;
• Handling exceptions;
• Creating procedures;
• Creating functions;
• Creating packages;
• Using additional package concepts;
• Using Oracle provided packages in the development of applications;
• Dynamic SQL and metadata;
• Design considerations for PL/SQL;
• Dependency management;
• Managing large projects;
• Creating Triggers;
• Applications for Triggers;
• Understanding and controlling the PL/SQL compiler.

 Object-Oriented Analysis and Design Using UML (OO-226)

• Examining Object-Oriented Concepts and Terminology:
  • Describe the important object-oriented (OO) concepts;
  • Describe the fundamental OO terminology;
• Introducing Modeling and the Software Development Process:
  • Describe the Object-Oriented Software Development (OOSD) process;
  • Describe how modeling supports the OOSD process;
  • Describe the benefits of modeling software;
  • Explain the purpose, activities, and artifacts of the following OOSD workflows (disciplines): Requirements Gathering, Requirements Analysis, Architecture, Design, Implementation, Testing & Deployment;
• Creating Use Case Diagrams:
  • Justify the need for a Use Case diagram
  • Identify and describe the essential elements in a UML Use Case diagram;
  • Develop a Use Case diagram for a software system based on the goals of the business owner;
  • Develop elaborated Use Case diagrams based on the goals of all the stakeholders;
  • Recognize and document use case dependencies using UML notation for extends, includes, and generalization;
  • Describe how to manage the complexity of Use Case diagrams by creating UML packaged views
• Creating Use Case Scenarios and Forms:
  • Identify and document scenarios for a use case;
  • Create a Use Case form describing a summary of the scenarios in the main and alternate flows;
  • Describe how to reference included and extending use cases.;
  • Identify and document non-functional requirements (NFRs), business rules, risks, and priorities for a use case;
  • Identify the purpose of a Supplementary Specification Document;
• Creating Activity Diagrams:
  • Identify the essential elements in an Activity diagram;
  • Model a Use Case flow of events using an Activity diagram;
• Determining the Key Abstractions:
  • Identify a set of candidate key abstractions;
  • Identify the key abstractions using CRC analysis;
• Constructing the Problem Domain Model:
  • Identify the essential elements in a UML Class diagram;
  • Construct a Domain model using a Class diagram;
  • Identify the essential elements in a UML Object diagram;
  • Validate the Domain model with one or more Object diagrams;
• Transitioning from Analysis to Design using Interaction Diagrams:
• Explain the purpose and elements of the Design model;
• Identify the essential elements of a UML Communication diagram;
• Create a Communication diagram view of the Design model;
• Identify the essential elements of a UML Sequence diagram;
• Create a Sequence diagram view of the Design model;
• Modeling Object State Using State Machine Diagrams:
  • Model object state;
  • Describe the essential elements of a UML State Machine diagram;
• Applying Design Patterns to the Design Model:
  • Define the essential elements of a software pattern;
  • Describe the Composite pattern;
  • Describe the Strategy pattern;
  • Describe the Observer pattern;
  • Describe the Abstract Factory pattern;
• Introducing Architectural Concepts and Diagrams:
  • Distinguish between architecture and design;
  • Describe tiers, layers, and systemic qualities;
  • Describe the Architecture workflow;
  • Describe the diagrams of the key architecture views;
  • Select the Architecture type;
  • Create the Architecture workflow artifacts;
• Introducing the Architectural Tiers:
  • Describe the concepts of the Client and Presentation tiers;
  • Describe the concepts of the Business tier;
  • Describe the concepts of the Resource and Integration tiers;
  • Describe the concepts of the Solution model;
• Refining the Class Design Model:
  • Refine the attributes of the Domain model;
  • Refine the relationships of the Domain model;
  • Refine the methods of the Domain model;
  • Declare the constructors of the Domain model;
  • Annotate method behavior;
  • Create components with interfaces;
• Overview of Software Development Processes:
  • Explain the best practices for OOSD methodologies;
  • Describe the features of several common methodologies;
  • Choose a methodology that best suits your project;
  • Develop an iteration plan;
• Overview of Frameworks:
  • Define a framework;
  • Describe the advantages and disadvantages of using frameworks;
  • Identify several common frameworks;
  • Understand the concept of creating your own business domain frameworks;
• Course Review:
  • Review the key features of object orientation;
  • Review the key UML diagrams;
  • Review the Requirements Analysis (Analysis) and Design workflows;

 Signals and Systems

• Introduction to Control Systems:
  • Brief history, examples, design methodologies, etc..;
• Mathematical modeling of systems:
  • Electromechanical systems, differential equations, linear approximations;
  • Laplace transform, transfer function;
  • Modelling in State Space;
• Time-domain analysis of linear systems:
  • 1st and 2nd order systems;
• Basic control mechanisms and response characteristics:
  • Feedback, errors, steady-state, proportional, integral and differential control actions;
• Linear system stability:
  • Pole location, transient response, Routh-Hurwitz criterion;
• Linear system analysis using the root locus;
• Stability and compensation using the root locus method:
  • Lead, lag and lead-lag compensators;
• Stability in the frequency domain:
  • The problem of stability, Nyquist criterion, relative stability;
  • Gain and phase margins, Bode diagrams;
• Compensation in the frequency domain:
  • Lead, lag and lead-lag compensators;

 Embedded Systems

• Definition and characterization;
• Unified Modeling Language (UML);
• Platform architecture;
• I/O devices and interfaces;
• I/O services and performance parameters;
• Real-time Operating Systems and context change;
• Software development for Embedded Systems;
• Models and Design Standards;
• Assembly and Linking; Compilers and Interpreters;
• Debugging;
• Embedded system design;
• Optimization, Testing and Validation;
• Design methodologies;
• Requirements analysis;
• Specification;
• Advanced topics of Java;
• The Java language for Embedded Systems;
• The Java ME platform; MIDlets;
• Graphical User Interface design;
• Development environments:
• NetBeans IDE;
• Java ME:
  • Web access;
  • File transfer;
  • Bluetooth access;
  • Database access;

Certification:

Certificate with registration CCPFC/RFO-27957/10 issued by the Scientific and Pedagogical Council - Portuguese Ministry of Education, in the following areas:

• A27 Electronics;
• A28 Electricity;
• A40 Computers;
• A43 Mathematics/Quantitative Methods;